%0 Journal Article
%T Guaranteed computation of robot trajectories
%T Calcul garanti de trajectoires de robots
%+ Lab-STICC_ENSTAB_CID_PRASYS
%+ Pôle STIC_OSM
%+ University of Sheffield [Sheffield]
%A Rohou, Simon
%A Jaulin, Luc
%A Mihaylova, Lyudmila
%A Le Bars, Fabrice
%A Veres, Sandor, M
%Z This work has been supported by the French Direction Générale de l’Armement (DGA) during the UK-France PhD program.
%< avec comité de lecture
%@ 0921-8890
%J Robotics and Autonomous Systems
%I Elsevier
%V 93
%P 76 - 84
%8 2017-07
%D 2017
%R 10.1016/j.robot.2017.03.020
%K guaranteed integration
%K tube programming
%K mobile robotics
%K constraints
%K contractors
%K ODE
%Z Computer Science [cs]/Robotics [cs.RO]
%Z Mathematics [math]/Dynamical Systems [math.DS]
%Z Mathematics [math]/Numerical Analysis [math.NA]
%Z Engineering Sciences [physics]/Automatic
%Z Computer Science [cs]/Artificial Intelligence [cs.AI]Journal articles
%X 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.
%G English
%2 https://hal.science/hal-01516228/document
%2 https://hal.science/hal-01516228/file/tubint_paper.pdf
%L hal-01516228
%U https://hal.science/hal-01516228
%~ UNIV-BREST
%~ INSTITUT-TELECOM
%~ ENSTA-BRETAGNE
%~ CNRS
%~ UNIV-UBS
%~ ENSTA-BRETAGNE-STIC
%~ INSMI
%~ ENIB
%~ LAB-STICC
%~ TDS-MACS
%~ INSTITUTS-TELECOM