HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Comment s'assurer de garder le contact (et nos distances)

Résumé : Nous étudions le problème du maintien de connexion dans les réseaux de robots mobiles. On considère un robot incontrôlable (la « cible ») et une flotte de robots volumiques autonomes se déplaçant dans le plan réel et munis de capteurs et transmetteurs à portée limitée. Le problème consiste à maintenir à tout moment une connexion entre un point fixe connu au départ et la cible. Cette situation est par exemple instanciée dans le cas d'une équipe de recherche (la cible) en cours d'exploration et qui doit conserver une liaison avec la base des secours (le point fixe). Dans un tel cas où des vies sont en jeu, le problème devient critique : il est impératif d'avoir les plus fortes garanties de correction possibles sur les protocoles candidats. Nous définissons formellement ce problème et proposons une famille de protocoles que nous prouvons correcte grâce à l'assistant de preuve Coq et la bibliothèque PACTOLE. Nous illustrons en particulier l'utilité de cet outil formel ainsi que de la démarche associée, de la réflexion préliminaire sur un problème à la production d'une solution certifiée.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03219933
Contributor : Pierre Courtieu Connect in order to contact the contributor
Submitted on : Thursday, May 6, 2021 - 6:48:40 PM
Last modification on : Wednesday, March 16, 2022 - 3:47:05 AM
Long-term archiving on: : Saturday, August 7, 2021 - 7:41:17 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03219933, version 1

Citation

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, et al.. Comment s'assurer de garder le contact (et nos distances). ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, 2021, La Rochelle, France. ⟨hal-03219933⟩

Share

Metrics

Record views

151

Files downloads

50