Research on Modeling and Simulation of AUV System Based on CTOPN

Author

Xin, Liu ; Guisheng, Yin ; Ziying, Zhang

Author_Institution

Coll. of Comput. Sci. & Technol., Harbin Eng. Univ., Harbin

Volume

5

fYear

2008

fDate

12-14 Dec. 2008

Firstpage

1127

Lastpage

1130

Abstract

This paper presents a new modeling method, called CTOPN (colored timed object-oriented Petri net), to model AUV (autonomous underwater vehicle) system. Firstly, the definition of a CTOPN is introduced, then the procedure of developing a CTOPN model for AUV system and a deadlock detection algorithm is given, at last the simulation validation is done. The CTOPN model of AUV system is proved deadlock-free and the simulation result is accordance with the actual system.

Keywords

Petri nets; digital simulation; graph colouring; marine engineering; object-oriented methods; remotely operated vehicles; underwater vehicles; AUV system modeling; CTOPN; autonomous underwater vehicle; colored timed object-oriented Petri net; deadlock detection algorithm; simulation; Automotive engineering; Computational modeling; Computer science; Computer simulation; Detection algorithms; Educational institutions; Object oriented modeling; Software engineering; System recovery; Underwater vehicles; AUV; CTOPN; deadlock; modeling; simulation;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Science and Software Engineering, 2008 International Conference on

Conference_Location

Wuhan, Hubei

Print_ISBN

978-0-7695-3336-0

Type

conf

DOI

10.1109/CSSE.2008.77

Filename

4723105