Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties

Résumé

Robotic behaviors are mainly described by differ- ential equations. Those mathematical models are usually not precise enough because of inaccurately known parameters or model simplifications. Nevertheless, robots are often used in critical contexts as medical or military fields. So, uncertainties in mathematical models have to be taken into account in order to produce reliable and safe analysis results. A framework based on interval analysis is proposed to safely verify and analyze robotic behaviors with bounded uncertainties. It follows an interval constraint programming approach, combined with validated numerical integration methods to deal with differential equations. A case study on robust path planning is presented to emphasize the efficiency of the complete framework.
Fichier principal
Vignette du fichier
irc17-hal.pdf (693.39 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01490364 , version 1 (29-03-2017)

Licence

Paternité - Pas d'utilisation commerciale - Pas de modification

Identifiants

Citer

Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier. Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties. First IEEE International Conference on Robotic Computing, Apr 2017, Taichung, Taiwan. ⟨10.1109/IRC.2017.17⟩. ⟨hal-01490364⟩
82 Consultations
231 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More