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 条

[31] Safety-Critical Trajectory Generation and Tracking Control of Autonomous Underwater Vehicles
Wang, Chenggang
Yu, Wenbin
Zhu, Shanying
Song, Lei
Guan, Xinping
IEEE JOURNAL OF OCEANIC ENGINEERING, 2023, 48 (01) : 93 - 111
[32] Increasing the operational safety of Autonomous Underwater Vehicles using the JANUS communication standard
Ferreira, Fausto
Petroccia, Roberto
Alves, Joao
2018 IEEE/OES AUTONOMOUS UNDERWATER VEHICLE WORKSHOP (AUV), 2018,
[33] On the motion analysis of autonomous underwater vehicles under arbitrary waves
Pang, Yibo
Wang, Zhan
Wang, Ye
2022 41ST CHINESE CONTROL CONFERENCE (CCC), 2022, : 1349 - 1354
[34] Monitoring marine environments with Autonomous Underwater Vehicles: A bibliometric analysis
Di Ciaccio, Fabiana
Troisi, Salvatore
RESULTS IN ENGINEERING, 2021, 9
[35] Autonomous Underwater Vehicles and Field of View in Underwater Operations
Ramirez, Isaac Segovia
Bernalte Sanchez, Pedro Jose
Papaelias, Mayorkinos
Marquez, Fausto Pedro Garcia
JOURNAL OF MARINE SCIENCE AND ENGINEERING, 2021, 9 (03) : 1 - 16
[36] Safety of Autonomous Vehicles
Wang, Jun
Zhang, Li
Huang, Yanjun
Zhao, Jian
JOURNAL OF ADVANCED TRANSPORTATION, 2020, 2020
[37] Underwater Transponder Positioning and Navigation of Autonomous Underwater Vehicles
Hegrenaes, Oyvind
Gade, Kenneth
Hagen, Ove Kent
Hagen, Per Espen
OCEANS 2009, VOLS 1-3, 2009, : 831 - +
[38] Visual observation of underwater objects by autonomous underwater vehicles
Kondo, H
Ura, T
3RD INTERNATIONAL WORKSHOP ON SCIENTIFIC USE OF SUBMARINE CABLES AND RELATED TECHNOLOGY, PROCEEDINGS, 2003, : 145 - 150
[39] Autonomous Underwater Vehicles as a Platform for Underwater Hyperspectral Imaging
Sture, Oystein
Ludvigsen, Martin
Soreide, Fredrik
Aas, Lars Martin Sandvik
OCEANS 2017 - ABERDEEN, 2017,
[40] Autonomous underwater vehicles localisation in mobile underwater networks
Wei, Xiaohui
Wang, Xingwang
Bai, Xin
Bai, Sen
Liu, Jun
INTERNATIONAL JOURNAL OF SENSOR NETWORKS, 2017, 23 (01) : 61 - 71

← 1 2 3 4 5 →