Study on mission reachability problem for multiple AUVs Based on Object-oriented Petri Net
文献类型:会议论文
作者 | Lin CL(林昌龙); Li YP(李一平)![]() |
出版日期 | 2015 |
会议日期 | June 8-12, 2015 |
会议地点 | Shenyang, China |
关键词 | Auv Architecture Object-oriented Petri Net Reachability |
页码 | 1259-1264 |
英文摘要 | To cope with the difficulty for the development, upgrade and maintenance of control systems for Autonomous Underwater Vehicles (AUVs), this paper focuses on the architecture of AUVs. Firstly, the design of a generalized architecture is presented. And then, according to its characteristic of modular packaging and hierarchical organization, the Object-oriented Petri Net (OPN) method is adopted to model this architecture. Based upon this, to the problem of mission reachability, a sufficient criterion is proposed, thus, the correctness of the timing and logic relationship of this architecture is thoroughly demonstrated. Finally, experiments, in which different types of AUVs cooperate to detect objects, are carried out to validate the effectiveness of this architecture. |
产权排序 | 2 |
会议录 | 2015 IEEE International Conference on Cyber Technology in Automation, Control, and Intelligent Systems (CYBER)
![]() |
会议录出版者 | IEEE |
会议录出版地 | Piscataway, NJ, USA |
语种 | 英语 |
ISBN号 | 978-1-4799-8728-3 |
WOS记录号 | WOS:000380502300231 |
源URL | [http://ir.sia.cn/handle/173321/18538] ![]() |
专题 | 沈阳自动化研究所_水下机器人研究室 |
作者单位 | 1.College of Computer Science and Technology, Huaqiao University, Xiamen, China 2.State Key Laboratory of Robotics, Shenyang Institute of Automation, Chinese Academy of Sciences, Shenyang, China |
推荐引用方式 GB/T 7714 | Lin CL,Li YP. Study on mission reachability problem for multiple AUVs Based on Object-oriented Petri Net[C]. 见:. Shenyang, China. June 8-12, 2015. |
入库方式: OAI收割
来源:沈阳自动化研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。