Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors

被引：1
|
作者：
Quijano, Sergio [1 ]
Varshosaz, Mahsa [1 ]
Wasowski, Andrzej [1 ]
机构：
[1] IT Univ Copenhagen, Copenhagen, Denmark
来源：
2024 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, ICSTW 2024 | 2024年
关键词：
Model-based testing; autonomous underwater robots; safety; control;
D O I：
10.1109/ICSTW60967.2024.00022
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Testing underwater vehicles in operational conditions is expensive. Formal models can lower the cost of operational testing and validation for these systems, as they allow detecting problems earlier. We propose modeling the underwater vehicle's behavior as Timed Automata, and discuss examples of property patterns which can be handled by observer Timed Automata and Timed CTL properties. The goal is to build a set of specifications which can then be used for testing and validation of controllers in underwater vehicles.
引用
收藏
页码：63 / 67
页数：5
相关论文
共 50 条
  • [1] Modeling and Control of Autonomous Underwater Vehicles
    Xu Demin
    2013 32ND CHINESE CONTROL CONFERENCE (CCC), 2013, : 6 - 7
  • [2] Dynamic behaviors of Autonomous Underwater Vehicles Considering Lateral Flow
    Zhu, Yaqiang
    Liu, Yuhong
    Zhang, Hongwei
    Yang, Yanpeng
    Zhang, Lianhong
    Fang, Pingping
    OCEANS 2016 - SHANGHAI, 2016,
  • [3] Modeling and Motion Control Strategy for Autonomous Underwater Vehicles
    Wang, Fang
    Li, Ye
    Wan, Lei
    Xu, Yuru
    2009 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS AND AUTOMATION, VOLS 1-7, CONFERENCE PROCEEDINGS, 2009, : 4851 - 4856
  • [4] Dynamics modeling and simulation of autonomous underwater vehicles with appendages
    Su Y.
    Zhao J.
    Cao J.
    Zhang G.
    Journal of Marine Science and Application, 2013, 12 (1) : 45 - 51
  • [5] Modeling and simulation of autonomous underwater vehicles: Design and implementation
    Song, FJ
    An, PE
    Folleco, A
    IEEE JOURNAL OF OCEANIC ENGINEERING, 2003, 28 (02) : 283 - 296
  • [6] Modeling position uncertainty of networked autonomous underwater vehicles
    Chen, Baozhi
    Pompili, Dario
    AD HOC NETWORKS, 2015, 34 : 184 - 195
  • [7] PARAMETRIC ANALYSIS OF THE CONFIGURATION OF AUTONOMOUS UNDERWATER VEHICLES
    BRIGHENTI, A
    IEEE JOURNAL OF OCEANIC ENGINEERING, 1990, 15 (03) : 179 - 188
  • [8] Autonomous underwater vehicles
    Gracanin, D
    Valavanis, KP
    IEEE ROBOTICS & AUTOMATION MAGAZINE, 1999, 6 (02) : 4 - +
  • [9] Trajectory planning for multiple autonomous underwater vehicles with safety guarantees
    Zhang, Shuhao
    Yang, Yujia
    Siriya, Seth
    Pu, Ye
    2022 Australian and New Zealand Control Conference, ANZCC 2022, 2022, : 138 - 143
  • [10] Autonomous Underwater Vehicles with Modeling and Analysis of 7-Phase BLDC Motor Drives
    Song, Sang-Hoon
    Yoon, Yong-Ho
    Lee, Byoung-Kuk
    Won, Chung-Yuen
    JOURNAL OF ELECTRICAL ENGINEERING & TECHNOLOGY, 2014, 9 (03) : 932 - 941
12345