Title :
Multi-agent Systems Formal Model for Unmanned Ground Vehicles
Author :
Ma, Zhiqiang ; Hu, Fangdong ; Yu, Zhenhua
Author_Institution :
Sch. of Telecommun. Eng., Air Force Eng. Univ., Xi´´an
Abstract :
In order to facilitate rapid development via visual modeling and analysis, a multi-agent systems model (MASM) for unmanned ground vehicles (UGVs) based on object-oriented Petri nets (OPN) is presented. MASM can describe the static and dynamic semantics of UGVs, and analyze the key properties of the UGV model by Petri nets tools. The stability in control theory is used to analyze the stability of agents and MAS stability. Consequently the design errors in an early system design stage are detected. To demonstrate the MASM, multiple UGVs engaged in a pursuit-evasion war game are described. The simulation results show that MASM is effective for model and development for UGVs
Keywords :
Petri nets; formal specification; intelligent robots; military vehicles; multi-agent systems; object-oriented methods; remotely operated vehicles; dynamic semantics; multiagent system formal model; object-oriented Petri net; static semantics; unmanned ground vehicle; Automotive engineering; Discrete event systems; Formal specifications; Intelligent sensors; Land vehicles; Multiagent systems; Object oriented modeling; Petri nets; Power system modeling; Stability analysis;
Conference_Titel :
Computational Intelligence and Security, 2006 International Conference on
Conference_Location :
Guangzhou
Print_ISBN :
1-4244-0605-6
Electronic_ISBN :
1-4244-0605-6
DOI :
10.1109/ICCIAS.2006.294183
