Zobrazeno 1 - 10
of 46
pro vyhledávání: '"Courtieu, Pierre"'
Publikováno v:
Leibniz Transactions on Embedded Systems, Vol 8, Iss 2, Pp 02:1-02:36 (2022)
We present Pactole, a formal framework to design and prove the correctness of protocols (or the impossibility of their existence) that target mobile robotic swarms. Unlike previous approaches, our methodology unifies in a single formalism the executi
Externí odkaz:
https://doaj.org/article/bafa93b184004126b47fa84ed340c8d0
Autor:
Balabonski, Thibaut, Courtieu, Pierre, Pelle, Robin, Rieg, Lionel, Tixeuil, Sébastien, Urbain, Xavier
Previous works on formally studying mobile robotic swarms consider necessary and sufficient system hypotheses enabling to solve theoretical benchmark problems (geometric pattern formation, gathering, scattering, etc.). We argue that formal methods ca
Externí odkaz:
http://arxiv.org/abs/2101.06966
We present a unified formal framework for expressing mobile robots models, protocols, and proofs, and devise a protocol design/proof methodology dedicated to mobile robots that takes advantage of this formal framework. As a case study, we present the
Externí odkaz:
http://arxiv.org/abs/1602.08361
We present a new algorithm for the problem of universal gathering mobile oblivious robots (that is, starting from any initial configuration that is not bivalent, using any number of robots, the robots reach in a finite number of steps the same positi
Externí odkaz:
http://arxiv.org/abs/1506.01603
Recent advances in Distributed Computing highlight models and algorithms for autonomous swarms of mobile robots that self-organise and cooperate to solve global objectives. The overwhelming majority of works so far considers handmade algorithms and p
Externí odkaz:
http://arxiv.org/abs/1405.5902
We propose a framework to build formal developments for robot networks using the COQ proof assistant, to state and to prove formally various properties. We focus in this paper on impossibility proofs, as it is natural to take advantage of the COQ hig
Externí odkaz:
http://arxiv.org/abs/1306.4242
Autor:
Balabonski, Thibaut, Courtieu, Pierre, Pelle, Robin, Rieg, Lionel, Tixeuil, Sébastien, Urbain, Xavier
Publikováno v:
ALGOTEL 2021-23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications
ALGOTEL 2021-23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, 2021, La Rochelle, France
ALGOTEL 2021-23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, 2021, La Rochelle, France
International audience; 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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::cbbedaf1127760303a32ad9d43c018f4
https://hal.archives-ouvertes.fr/hal-03219933
https://hal.archives-ouvertes.fr/hal-03219933
Autor:
Courtieu, Pierre
Publikováno v:
JFLA 2019. Journées Francophones des Langages Applicatifs
JFLA 2019. Journées Francophones des Langages Applicatifs, Jan 2019, Les Rousses, France
JFLA 2019. Journées Francophones des Langages Applicatifs, Jan 2019, Les Rousses, France
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0c51bc166bdfae27b9c7d3d630da906d
https://hal.archives-ouvertes.fr/hal-03131638
https://hal.archives-ouvertes.fr/hal-03131638
Autor:
Balabonski, Thibaut, Courtieu, Pierre, Pelle, Robin, Rieg, Lionel, Tixeuil, Sébastien, Urbain, Xavier
Publikováno v:
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
National audience; Les robots mobiles oublieux ont été étudiés à la fois dans des espaces euclidiens continus et dans des espaces discrets (c'est-à-dire des graphes). Cependant, l'état de l'art actuel forme des ensembles de résultats distinct
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c6daa43f09560864b9b7cab76447fb89
https://hal.archives-ouvertes.fr/hal-02871295
https://hal.archives-ouvertes.fr/hal-02871295
Autor:
Balabonski, Thibaut, Courtieu, Pierre, Pelle, Robin, Rieg, Lionel, Tixeuil, Sébastien, Urbain, Xavier
Publikováno v:
ALGOTEL 2019-21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications
ALGOTEL 2019-21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France. pp.1-4
ALGOTEL 2019-21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France. pp.1-4
International audience; Les essaims de robots mobiles permettent de réaliser des tâches collaboratives complexes par assemblage de tâches plus simples accomplies individuellement par chaque robot. Néanmoins, leur nature massivement distribuée re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::97b800a7f22d91b2e62a58716d932c69
https://hal.archives-ouvertes.fr/hal-02115611/document
https://hal.archives-ouvertes.fr/hal-02115611/document