Proving Feasibility of a Docking Mission: A Contractor Programming Approach - Archive ouverte HAL Access content directly
Journal Articles Mathematics Year : 2022

Proving Feasibility of a Docking Mission: A Contractor Programming Approach

Abstract

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
Origin : Publisher files allowed on an open archive

Dates and versions

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

Identifiers

Cite

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⟩
40 View
13 Download

Altmetric

Share

Gmail Facebook X LinkedIn More