Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots

Thibaut Balabonski 1 Pierre Courtieu 2 Robin Pelle 1 Lionel Rieg 3 Sébastien Tixeuil 4, 5 Xavier Urbain 6
1 VALS - LRI - Vérification d'Algorithmes, Langages et Systèmes (LRI)
LRI - Laboratoire de Recherche en Informatique
2 CEDRIC - Centre d'études et de recherche en informatique et communications
3 YALE - Department of Computer Science
4 IUF - Institut Universitaire de France
5 NPA - Networks and Performance Analysis
LIP6 - Laboratoire d'Informatique de Paris 6
6 DRIM - Distribution, Recherche d'Information et Mobilité
LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
Abstract : We explore the possibility of establishing a first bridge between the continuous movements and observation vs. discrete movements and observation in the context of autonomous mobile robots. Our position is that the continuous model reflects well the physicality of robots operating in some environment, while the discrete model reflects well the digital nature of autonomous robots, whose sensors and computing capabilities are inherently finite. For this purpose, we consider that robots make continuous, non atomic moves, but only sense in a discrete manner the position of robots. Our approach is certified using the Coq proof assistant and the Pactole framework.
Type de document :
Communication dans un congrès
Taisuke Izumi, Petr Kuznetsov. Stabilization, Safety, and Security of Distributed Systems. SSS 2018., Nov 2018, Tokyo, Japan. Springer-Verlag, Stabilization, Safety, and Security of Distributed Systems. SSS 2018., 11201, pp.404-408, 2018, Lecture Notes in Computer Science. 〈10.1007/978-3-030-03232-6_29〉
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-01937420
Contributeur : Xavier Urbain <>
Soumis le : mercredi 28 novembre 2018 - 10:20:12
Dernière modification le : samedi 16 mars 2019 - 02:01:52

Identifiants

Collections

EC-LYON | CENTRALESUPELEC | UNIV-LYON1 | INSA-LYON | INRIA | UMR8623 | LIRIS | LRI-VALS | LYON2 | UNIV-PARIS-SACLAY | UNIV-HESAM | SORBONNE-UNIVERSITE

Citation

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, et al.. Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. Taisuke Izumi, Petr Kuznetsov. Stabilization, Safety, and Security of Distributed Systems. SSS 2018., Nov 2018, Tokyo, Japan. Springer-Verlag, Stabilization, Safety, and Security of Distributed Systems. SSS 2018., 11201, pp.404-408, 2018, Lecture Notes in Computer Science. 〈10.1007/978-3-030-03232-6_29〉. 〈hal-01937420〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

102

Contact

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