Paper Info
Title
Multi-agent systems: modeling and verification using hybrid automata
Abstract
Hybrid automata are used as standard means for the specification and analysis of dynamical systems. Many researches have approached them to formally specify reactive Multi-agent systems situated in a physical environment, where the agents react continuously to their environment. The specified systems, in turn, are formally checked with the help of existing hybrid automata verification tools. However, when dealing with multi-agent systems, two problems may be raised. The first problem is a state space problem raised due to the composition process, where the agents have to be parallel composed into an agent capturing all possible behaviors of the multi-agent system prior to the verification phase. The second problem concerns the expressiveness of verification tools when modeling and verifying certain behaviors. Therefore, this paper tackles these problems by showing how multi-agent systems, specified as hybrid automata, can be modeled and verified using constraint logic programming(CLP). In particular, a CLP framework is presented to show how the composition of multi-agent behaviors can be captured dynamically during the verification phase. This can relieve the state space complexity that may occur as a result of the composition process. Additionally, the expressiveness of the CLP model flexibly allows not only to model multi-agent systems, but also to check various properties by means of the reachability analysis. Experiments are promising to show the feasibility of our approach.
Year
DOI
Venue
2009
10.1007/978-3-642-14843-9_4
ProMAS
Keywords
Field
DocType
verification phase,multi-agent behavior,clp framework,multi-agent system,problem concern,verification tool,clp model flexibly,hybrid automata verification tool,composition process,hybrid automaton,multi agent system,constraint logic programming,multi agent systems,state space,dynamic system
Situated,Computer science,Automaton,Multi-agent system,Reachability,Dynamical systems theory,Constraint logic programming,State space,Distributed computing,Expressivity
Conference
Volume
ISSN
ISBN
5919
0302-9743
3-642-14842-5
Citations 
PageRank 
References 
3
0.37
22
Authors
2
Name
Order
Citations
PageRank
Ammar Mohammed1174.72
Ulrich Furbach263988.23