Formal Method for Mission Controller Generation of a Mobile Robot - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2017

Formal Method for Mission Controller Generation of a Mobile Robot

Résumé

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.
Fichier principal
Vignette du fichier
TAROS_2017.pdf (696.56 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

lirmm-01589007 , version 1 (18-09-2017)

Identifiants

Citer

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

Altmetric

Partager

More