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

Volume

1

fYear

2006

fDate

Nov. 2006

Firstpage

492

Lastpage

497

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICCIAS.2006.294183

Filename

4072136