Guaranteed computation of robot trajectories

Simon Rohou 1, 2 Luc Jaulin 1, 2 Lyudmila Mihaylova 3 Fabrice Le Bars 1, 2 Sandor Veres 3
1 Lab-STICC_ENSTAB_CID_PRASYS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
2 Pôle STIC_OSM
ENSTA 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.
Liste complète des métadonnées

Littérature citée [33 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01516228
Contributeur : Simon Rohou <>
Soumis le : samedi 29 avril 2017 - 10:55:43
Dernière modification le : mercredi 31 janvier 2018 - 15:14:02
Document(s) archivé(s) le : dimanche 30 juillet 2017 - 12:12:26

Fichier

tubint_paper.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Pas de modification 4.0 International License

Identifiants

Citation

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. 〈http://www.sciencedirect.com/science/article/pii/S0921889016304006〉. 〈10.1016/j.robot.2017.03.020〉. 〈hal-01516228〉

Partager

Métriques

Consultations de la notice

759

Téléchargements de fichiers

203