Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

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 - SYS - CEDRIC. Systèmes sûrs
CEDRIC - Centre d'études et de recherche en informatique et communications
6 DRIM - Distribution, Recherche d'Information et Mobilité
LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02115599
Contributor : Xavier Urbain Connect in order to contact the contributor
Submitted on : Tuesday, April 30, 2019 - 1:25:35 PM
Last modification on : Wednesday, June 29, 2022 - 10:58:50 AM

Identifiers

  • HAL Id : hal-02115599, version 1

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. 7th International Conference on NETworked sYStems (NETYS 2019), Jun 2019, Marrakech, Morocco. pp.1-15. ⟨hal-02115599⟩

Share

Metrics

Record views

104