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

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.

Domaines

Fichier principal

main_tr.pdf (224.23 Ko)

Origine	Fichiers produits par l'(les) auteur(s)
Licence	Autorisation HAL

Est une version de hal-02115599 Objet présenté à une conférence Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, et al.. Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. 7th International Conference on NETworked sYStems (NETYS 2019), Jun 2019, Marrakech, Morocco. pp.93-09, ⟨10.1007/978-3-030-31277-0_7⟩. ⟨hal-02115599⟩

Connectez-vous pour contacter le contributeur

https://hal.sorbonne-universite.fr/hal-01762962

Soumis le : mardi 10 avril 2018-15:24:52

Dernière modification le : lundi 19 janvier 2026-16:46:18

Dates et versions

hal-01762962 , version 1 (10-04-2018)

Licence

Autorisation HAL

Identifiants

HAL Id : hal-01762962 , version 1

Citer

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

Collections

925 Consultations

707 Téléchargements