Skip to Main content Skip to Navigation
New interface
Reports (Research report)

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

Thibaut Balabonski 1, 2 Pierre Courtieu 3 Robin Pelle 2 Lionel Rieg 4 Sébastien Tixeuil 5, 6, 7 Xavier Urbain 8 
1 Université Paris-Saclay
2 VALS - LRI - Vérification d'Algorithmes, Langages et Systèmes (LRI)
LRI - Laboratoire de Recherche en Informatique
3 CEDRIC - SYS - CEDRIC. Systèmes sûrs
CEDRIC - Centre d'études et de recherche en informatique et communications
4 YALE - Department of Computer Science
5 NPA - Networks and Performance Analysis
LIP6
6 LINCS - Laboratory of Information, Network and Communication Sciences
7 IUF - Institut Universitaire de France
8 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.
Document type :
Reports (Research report)
Complete list of metadata

Cited literature [44 references]  Display  Hide  Download
https://hal.sorbonne-universite.fr/hal-01762962
Contributor : Sébastien Tixeuil Connect in order to contact the contributor
Submitted on : Tuesday, April 10, 2018 - 3:24:52 PM
Last modification on : Friday, November 18, 2022 - 9:24:56 AM

Files

Vignette du document
main_tr.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01762962, version 1

Collections

INSTITUT-TELECOM | CNRS | INRIA | UNIV-LYON1 | UNIV-LYON2 | INSA-LYON | EC-LYON | CNAM | LIRIS | UMR8623 | LIP6 | CENTRALESUPELEC | LRI-VALS | LARA | UNIV-PARIS-SACLAY | UNIV-HESAM | INSA-GROUPE | SORBONNE-UNIVERSITE | CEDRIC-CNAM | SU-SCIENCES | UDL | GS-COMPUTER-SCIENCE | SPRES

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

482

Files downloads

254