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

Tullio Tanzi () and Matteo Bertolino
Additional contact information
Tullio Tanzi: LTCI, Télécom Paris, Institut Polytechnique de Paris
Matteo Bertolino: LTCI, Télécom Paris, Institut Polytechnique de Paris

Information Systems Frontiers, 2021, vol. 23, issue 5, No 8, 1189-1202

Abstract: Abstract 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.

Keywords: Disaster management; Autonomous systems; Modelling; Simulation (search for similar items in EconPapers)
Date: 2021
References: View complete reference list from CitEc
Citations: View citations in EconPapers (2)

Downloads: (external link)
http://link.springer.com/10.1007/s10796-020-10085-6 Abstract (text/html)
Access to the full text of the articles in this series is restricted.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:infosf:v:23:y:2021:i:5:d:10.1007_s10796-020-10085-6

Ordering information: This journal article can be ordered from
http://www.springer.com/journal/10796

DOI: 10.1007/s10796-020-10085-6

Access Statistics for this article

Information Systems Frontiers is currently edited by Ram Ramesh and Raghav Rao

More articles in Information Systems Frontiers from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().