Formal Method for Mission Controller Generation of a Mobile Robot

Abstract : This article presents a methodology for generating a real-time mission controller of a submarine robot. The initial description of the mission considers the granularity constraints associated with the actors defining the mission. This methodology incorporates a formal analysis of the different possibilities for success of the mission from the models of each component involved in the description of the mission. This article ends illustrating this methodology with the generation of a real robotic mission for marine biodiversity assessment.
Complete list of metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01589007
Contributor : Karen Godary-Dejean <>
Submitted on : Monday, September 18, 2017 - 11:01:33 AM
Last modification on : Friday, June 7, 2019 - 2:00:02 PM

File

TAROS_2017.pdf
Files produced by the author(s)

Identifiers

Citation

Silvain Louis, Karen Godary-Dejean, Lionel Lapierre, Thomas Claverie, Sébastien Villéger. Formal Method for Mission Controller Generation of a Mobile Robot. TAROS: Towards Autonomous Robotic Systems, Jul 2017, University of Surrey, Guildford, United Kingdom. pp.586-600, ⟨10.1007/978-3-319-64107-2_48⟩. ⟨lirmm-01589007⟩

Share

Metrics

Record views

389

Files downloads

224