|
 
|
[CBT18] Brief Announcement: Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots
Conférence Internationale avec comité de lecture : Stabilization, Safety, and Security of Distributed Systems (SSS), November 2018, Vol. 11201, pp.404-408, Series LNCS, Tokyo, Japon, (DOI: 10.1007/978-3-030-03232-6_29)
motcle:
Résumé:
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.
Collaboration:
LIP6
BibTeX
| @inproceedings { | |||
| CBT18, | |||
| title | = | "{Brief Announcement: Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots}", | |
| author | = | " P. Courtieu and T. Balabonski and S. Tixeuil and X. Urbain and L. Rieg ", | |
| booktitle | = | "{Stabilization, Safety, and Security of Distributed Systems (SSS)}", | |
| year | = | 2018, | |
| month | = | "November", | |
| series | = | "LNCS", | |
| volume | = | 11201, | |
| pages | = | "404-408", | |
| address | = | "Tokyo, Japon", | |
| doi | = | "10.1007/978-3-030-03232-6_29", | |
| } | |||
