Proving Feasibility of a Docking Mission: A Contractor Programming Approach - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu
Article Dans Une Revue Mathematics Année : 2022

Proving Feasibility of a Docking Mission: A Contractor Programming Approach


Recent advances in computational power, algorithms, and sensors allow robots to perform complex and dangerous tasks, such as autonomous missions in space or underwater. Given the high operational costs, simulations are run beforehand to predict the possible outcomes of a mission. However, this approach is limited as it is based on parameter space discretization and therefore cannot be considered a proof of feasibility. To overcome this limitation, set-membership methods based on interval analysis, guaranteed integration, and contractor programming have proven their efficiency. Guaranteed integration algorithms can predict the possible trajectories of a system initialized in a given set in the form of tubes of trajectories. The contractor programming consists in removing the trajectories violating predefined constraints from a system’s tube of possible trajectories. Our contribution consists in merging both approaches to allow for the usage of differential constraints in a contractor programming framework. We illustrate our method through examples related to robotics. We also released an open-source implementation of our algorithm in a unified library for tubes, allowing one to combine it with other constraints and increase the number of possible applications.
Fichier principal
Vignette du fichier
mathematics-10-01130.pdf (6.46 Mo) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03647551 , version 1 (20-04-2022)



Auguste Bourgois, Simon Rohou, Luc Jaulin, Andreas Rauh. Proving Feasibility of a Docking Mission: A Contractor Programming Approach. Mathematics , 2022, 10 (7), pp.1130. ⟨10.3390/math10071130⟩. ⟨hal-03647551⟩
30 Consultations
8 Téléchargements



Gmail Facebook Twitter LinkedIn More