License: 
Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CP.2021.18
URN: urn:nbn:de:0030-drops-153093
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2021/15309/
Bedouhene, Abderahmane ;
Neveu, Bertrand ;
Trombettoni, Gilles ;
Jaulin, Luc ;
Le Menec, Stéphane
An Interval Constraint Programming Approach for Quasi Capture Tube Validation
Abstract
Proving that the state of a controlled nonlinear system always stays inside a time moving bubble (or capture tube) amounts to proving the inconsistency of a set of nonlinear inequalities in the time-state space. In practice however, even with a good intuition, it is difficult for a human to find such a capture tube except for simple examples. In 2014, Jaulin et al. established properties that support a new interval approach for validating a quasi capture tube, i.e. a candidate tube (with a simple form) from which the mobile system can escape, but into which it enters again before a given time. A quasi capture tube is easy to find in practice for a controlled system. Merging the trajectories originated from the candidate tube yields the smallest capture tube enclosing it.
This paper proposes an interval constraint programming solver dedicated to the quasi capture tube validation. The problem is viewed as a differential CSP where the functional variables correspond to the state variables of the system and the constraints define system trajectories that escape from the candidate tube "for ever". The solver performs a branch and contract procedure for computing the trajectories that escape from the candidate tube. If no solution is found, the quasi capture tube is validated and, as a side effect, a corrected smallest capture tube enclosing the quasi one is computed. The approach is experimentally validated on several examples having 2 to 5 degrees of freedom.
BibTeX - Entry
@InProceedings{bedouhene_et_al:LIPIcs.CP.2021.18,
author = {Bedouhene, Abderahmane and Neveu, Bertrand and Trombettoni, Gilles and Jaulin, Luc and Le Menec, St\'{e}phane},
title = {{An Interval Constraint Programming Approach for Quasi Capture Tube Validation}},
booktitle = {27th International Conference on Principles and Practice of Constraint Programming (CP 2021)},
pages = {18:1--18:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-211-2},
ISSN = {1868-8969},
year = {2021},
volume = {210},
editor = {Michel, Laurent D.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2021/15309},
URN = {urn:nbn:de:0030-drops-153093},
doi = {10.4230/LIPIcs.CP.2021.18},
annote = {Keywords: Constraint satisfaction problem, Interval analysis, Dynamical systems, Contractor}
}
|
Keywords: |
|
Constraint satisfaction problem, Interval analysis, Dynamical systems, Contractor |
|
Collection: |
|
27th International Conference on Principles and Practice of Constraint Programming (CP 2021) |
|
Issue Date: |
|
2021 |
|
Date of publication: |
|
15.10.2021 |
