Search Results - "Theory of computation → Constraint and logic programming"

An Interval Constraint Programming Approach for Quasi Capture Tube Validation by Bedouhene, Abderahmane, Neveu, Bertrand, Trombettoni, Gilles, Jaulin, Luc, Le Ménec, Stéphane

“…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…”
Get full text