Autonomous Systems for Rescue Missions: Design, Architecture and Configuration Validation - Télécom Paris Accéder directement au contenu
Article Dans Une Revue Information Systems Frontiers Année : 2020

Autonomous Systems for Rescue Missions: Design, Architecture and Configuration Validation

Résumé

In the context of disaster management, the intervention of Autonomous Systems brings many benefits to human rescuers. Autonomous Systems can quickly reach regions that may be inaccessible for humans. In addition, they can perform a rapid mapping of the impacted area and therefore enhancing the human knowledge. However, it is necessary to choose the best Autonomous Systems according to (i) mission environment and (ii) mission objectives. In this article, we describe our work on ArcTurius rover, a wheeled Autonomous System in support to disaster management. We validated its design through simulation and formal verification. A first simulation step occurs during the system definition. This allows to formally verify the design choices. A second type of simulation is performed to check the adequacy of the rover with respect to a specific mission. Thus, an Autonomous System can be adapted prior to a real mission to enhance its level of performance.
Fichier non déposé

Dates et versions

hal-04568796 , version 1 (05-05-2024)

Identifiants

Citer

Tullio Tanzi, Matteo Bertolino. Autonomous Systems for Rescue Missions: Design, Architecture and Configuration Validation. Information Systems Frontiers, 2020, Special Issue on Heuristic Acquisition for Data Science, 23 (5), pp.1189-1202. ⟨10.1007/s10796-020-10085-6⟩. ⟨hal-04568796⟩
5 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More