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.
Type de document :
Communication dans un congrès
SpringerLink. TAROS: Towards Autonomous Robotic Systems, Jul 2017, University of Surrey, Guildford, United Kingdom. SpringerLink, 18th Towards Autonomous Robotic Systems (TAROS) Conference, LNCS (10454), pp.586-600, 2017, Towards Autonomous Robotic Systems. 〈https://www.surrey.ac.uk/faculty-engineering-physical-sciences/about-us/taros-conference〉
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01589007
Contributeur : Karen Godary-Dejean <>
Soumis le : lundi 18 septembre 2017 - 11:01:33
Dernière modification le : jeudi 11 janvier 2018 - 06:27:31

Fichier

TAROS_2017.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : lirmm-01589007, version 1

Citation

Silvain Louis, Karen Godary-Dejean, Lionel Lapierre, Thomas Claverie, Sébastien Villéger. Formal Method for Mission Controller Generation of a Mobile Robot. SpringerLink. TAROS: Towards Autonomous Robotic Systems, Jul 2017, University of Surrey, Guildford, United Kingdom. SpringerLink, 18th Towards Autonomous Robotic Systems (TAROS) Conference, LNCS (10454), pp.586-600, 2017, Towards Autonomous Robotic Systems. 〈https://www.surrey.ac.uk/faculty-engineering-physical-sciences/about-us/taros-conference〉. 〈lirmm-01589007〉

Partager

Métriques

Consultations de la notice

82

Téléchargements de fichiers

13