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 条

[21] Application of autonomous underwater vehicles
Wood, S
Nulph, A
Howell, B
SEA TECHNOLOGY, 2004, 45 (12) : 10 - 14
[22] Autonomous underwater vehicles Preface
Chyba, Monique
OCEAN ENGINEERING, 2009, 36 (01) : 1 - 1
[23] Insurance for autonomous underwater vehicles
Griffiths, G.
Bose, N.
Ferguson, J.
Blidberg, D. R.
UNDERWATER TECHNOLOGY, 2007, 27 (02): : 43 - 48
[24] Avoidance of underwater cliffs for autonomous underwater vehicles
Creuze, V
Jouvencel, B
2002 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, VOLS 1-3, PROCEEDINGS, 2002, : 793 - 798
[25] Underwater Caging and Capture for Autonomous Underwater Vehicles
Ozkahraman, Ozer
Ogren, Petter
GLOBAL OCEANS 2020: SINGAPORE - U.S. GULF COAST, 2020,
[26] Energy Efficient Path Planning of Autonomous Underwater Vehicles for Environment Modeling
Lu, Diyuan
Cui, Rongxin
Wang, Ping
PROCESSING OF 2014 INTERNATIONAL CONFERENCE ON MULTISENSOR FUSION AND INFORMATION INTEGRATION FOR INTELLIGENT SYSTEMS (MFI), 2014,
[27] Modeling and Verifying the Communication and Control of a Fleet of Collaborative Autonomous Underwater Vehicles
Liu, Hong
Cheng, Ruofa
Yang, Tianyu
Wang, Jing
IECON 2017 - 43RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2017, : 3197 - 3202
[28] Modeling and Variable Structure Control of Autonomous Underwater Vehicles with Moving Mass
Zhao E
Song Bao-wei
MECHANICAL AND ELECTRONICS ENGINEERING III, PTS 1-5, 2012, 130-134 : 1963 - +
[29] Coupling Analysis of Autonomous Vehicles and Road Safety
Hou, Duo
Zhang, Lei
Dong, Decun
Ou, Dongxiu
Proceedings - 2022 International Symposium on Electrical, Electronics and Information Engineering, ISEEIE 2022, 2022, : 57 - 62
[30] A Review of Risk Analysis Research for the Operations of Autonomous Underwater Vehicles
Chen, Xi
Bose, Neil
Brito, Mario
Khan, Faisal
Thanyamanta, Bo
Zou, Ting
RELIABILITY ENGINEERING & SYSTEM SAFETY, 2021, 216

← 1 2 3 4 5 →