Research on Modeling and Reachability Problem of Autonomous Underwater Vehicle Architecture Based on Object-oriented Petri Net
LIN Changlong1, LIU Kaizhou2
1. College of Computer Science and Technology, Huaqiao University, Xiamen 361021, China;
2. State Key Laboratory of Robotics, Shenyang Institute of Automation, Chinese Academy of Sciences, Shenyang 110016, China
林昌龙, 刘开周. 基于面向对象Petri网的水下机器人体系结构建模与可达性问题研究[J]. 机器人, 2013, 35(3): 332-338.DOI: 10.3724/SP.J.1218.2013.00332.
LIN Changlong, LIU Kaizhou. Research on Modeling and Reachability Problem of Autonomous Underwater Vehicle Architecture Based on Object-oriented Petri Net. ROBOT, 2013, 35(3): 332-338. DOI: 10.3724/SP.J.1218.2013.00332.
The architecture we previously constructed for autonomous underwater vehicles (AUV) only remains in the system block level. To cope with this insufficiency, the architecture is modeled and its correctness is theoretically analyzed in this paper. Firstly, our previous work, that is, a generalized architecture for AUVs, is presented. Then, according to its characteristics of modular packaging and hierarchical organization, the object-oriented Petri net is adopted to model this architecture. Based upon this, the mission reachability problem is focused and a sufficient criteria is proposed. Thus, the correctness of the timing and logic of this architecture is thoroughly demonstrated. Finally, semi-physical experiments are carried out to validate the architecture.
[1] 蒋新松,封锡盛,王棣棠.水下机器人[M].沈阳:辽宁科 学技术出版社,2000. Jiang X S, Feng X S, Wang L T. Unmanned underwater vehicles[ M]. Shenyang: Liaoning Science and Technology Publishing House, 2000.[2] 张禹.远程自主潜水器体系结构的应用研究[D].沈阳:中 国科学院沈阳自动化研究所,2004. Zhang Y. Application research on control architecture of long range autonomous underwater vehicle[D]. Shenyang: Shenyang Institute of Automation, Chinese Academy of Sciences, 2004.[3] Ridao P, Batlle J, Amat J, et al. Recent trends in control architectures for autonomous underwater vehicles[J]. International Journal of Systems Science, 1999, 30(9): 1033-1056. [4] Valavanis K P, Gracanin D, Matijasevic M, et al. Control architectures for autonomous underwater vehicles[J]. IEEE Control Systems Magazine, 1997, 17(6): 48-64. [5] McGann C, Py F, Rajan K, et al. A deliberative architecture for AUV control[C]//IEEE International Conference on Robotics and Automation. Piscataway, NJ, USA: IEEE, 2008: 1049- 1054.[6] Rosenblatt J K. DAMN: A distributed architecture for mobile navigation[J]. Journal of Experimental & Theoretical Artificial Intelligence, 1997, 9(2/3): 339-360.[7] Smith S M. An approach to intelligent distributed control for autonomous underwater vehicles[C]//IEEE Symposium on Autonomous Underwater Vehicle Technology. Piscataway, NJ, USA: IEEE, 1994: 105-111.[8] Albus J S. 4-D/RCS reference model architecture for unmanned ground vehicles[C]//IEEE International Conference on Robotics and Automation. Piscataway, NJ, USA: IEEE, 2000: 3260-3265.[9] Ricard M, Kolitz S. The ADEPT framework for intelligent autonomy[ R]. Belgium: Von Karman Institute, 2002.[10] Rowe S, Wagner C. An introduction to the joint architecture for unmanned systems (JAUS)[EB/OL]. (2008) [2012-12- 30]. http://www.iema.org/Class 1 Gen-2 UHF RFID - EPC Global.pdf.[11] Lin C L, Feng X S, Li Y P, et al. Toward a generalized architecture for unmanned underwater vehicles[C]//IEEE International Conference on Robotics and Automation. Piscataway, NJ, USA: IEEE, 2011: 2368-2373.[12] Ma Z Q, Hu F D, Yu Z H. Multi-agent systems formal model for unmanned ground vehicles[C]//International Conference on Computational Intelligence and Security. Piscataway, NJ, USA: IEEE, 2006: 492-497.[13] Xu Z Z, Feng X S, Li Y P. Cooperation model design based on object-oriented Petri net for multiple heterogeneous UUVs system[C]//7th World Congress on Intelligent Control and Automation. Piscataway, NJ, USA: IEEE, 2008: 5710-5715.