Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots

Thibaut Balabonski 1, 2, 3 Pierre Courtieu 4 Robin Pelle 2 Lionel Rieg 5 Sébastien Tixeuil 6, 7, 8 Xavier Urbain 9
1 Université Paris-Saclay
2 VALS - LRI - Vérification d'Algorithmes, Langages et Systèmes (LRI)
LRI - Laboratoire de Recherche en Informatique
3 TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
4 CEDRIC - Centre d'étude et de recherche en informatique et communications
5 YALE - Department of Computer Science
6 NPA - Networks and Performance Analysis
LIP6 - Laboratoire d'Informatique de Paris 6
7 LINCS - Laboratory of Information, Network and Communication Sciences
8 IUF - Institut Universitaire de France
9 DRIM - Distribution, Recherche d'Information et Mobilité
LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
Abstract : Oblivious Mobile Robots have been studied both in continuous Euclidean spaces, and discrete spaces (that is, graphs). However the obtained literature forms distinct sets of results for the two settings. In this paper, we explore the possibility of transforming results obtained in one model into results for the other one. Our approach focuses on certified results using the COQ proof assistant.
Type de document :
Rapport
[Research Report] Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France. 2018, pp.1-12
Liste complète des métadonnées

Littérature citée [44 références]  Voir  Masquer  Télécharger
https://hal.sorbonne-universite.fr/hal-01762962
Contributeur : Sébastien Tixeuil <>
Soumis le : mardi 10 avril 2018 - 15:24:52
Dernière modification le : lundi 15 octobre 2018 - 14:34:01

Fichiers

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

Identifiants

  • HAL Id : hal-01762962, version 1

Collections

UPMC | EC-LYON | UNIV-LYON2 | LARA | CENTRALESUPELEC | UNIV-LYON1 | LIP6 | INSA-LYON | INRIA | UMR8623 | LIRIS | LRI-VALS | UNIV-PARIS-SACLAY | UNIV-HESAM

Citation

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, et al.. Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots. [Research Report] Sorbonne Université, CNRS, Laboratoire d’Informatique de Paris 6, LIP6, F-75005 Paris, France. 2018, pp.1-12. 〈hal-01762962〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

271

Téléchargements de fichiers

54

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD