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
Journal articles

Guaranteed computation of robot trajectories

Simon Rohou 1, 2 Luc Jaulin 1, 2 Lyudmila Mihaylova 3 Fabrice Le Bars 1, 2 Sandor Veres 3
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne
Abstract : This paper proposes a new method for guaranteed integration of state equations. Within this framework, the variables of interest are trajectories submitted to both arithmetic and differential equations. The approach consists in formalizing a problem thanks to a constraint network and then apply these constraints to sets of trajectories. The contribution of the paper is to provide a reliable framework to enclose the solutions of these differential equations. Its use is shown to be simple, more general and more competitive than existing approaches dealing with guaranteed integration, especially when applied to mobile robotics. The flexibility of the developed framework allows to deal with non-linear differential equations or even differential inclusions built from datasets, while considering observations of the states of interest. An illustration of this method is given over several examples with mobile robots.
Complete list of metadata

Cited literature [33 references]  Display  Hide  Download

Contributor : Simon Rohou Connect in order to contact the contributor
Submitted on : Saturday, April 29, 2017 - 10:55:43 AM
Last modification on : Monday, April 4, 2022 - 9:28:29 AM
Long-term archiving on: : Sunday, July 30, 2017 - 12:12:26 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution - NonCommercial - NoDerivatives 4.0 International License



Simon Rohou, Luc Jaulin, Lyudmila Mihaylova, Fabrice Le Bars, Sandor Veres. Guaranteed computation of robot trajectories. Robotics and Autonomous Systems, Elsevier, 2017, 93, pp.76 - 84. ⟨10.1016/j.robot.2017.03.020⟩. ⟨hal-01516228⟩



Record views


Files downloads