Computing Capture Tubes
From MaRDI portal
Publication:2803603
DOI10.1007/978-3-319-31769-4_17zbMath1354.70024OpenAlexW2515375407MaRDI QIDQ2803603
Vincent le Doze, Alexandru Virgiliu Stancu, Stéphane Le Ménec, Jaulin, Luc, Jordan Ninin, Mohamed Saad Ibn Seddik, Gilles Chabert, Daniel López
Publication date: 2 May 2016
Published in: Scientific Computing, Computer Arithmetic, and Validated Numerics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-31769-4_17
Cites Work
- Unnamed Item
- Unnamed Item
- Solving non-linear constraint satisfaction problems involving time-dependent functions
- Construction of parametric barrier functions for dynamical systems using interval analysis
- Set membership state and parameter estimation for systems described by nonlinear differential equations
- Contractor programming
- A Lohner-type algorithm for control systems and ordinary differential inclusions
- Remarks on strongly flow-invariant sets
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
- Robust model predictive control using tubes.
- Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
- Validated solutions of initial value problems for ordinary differential equations
- Set-membership state estimation with fleeting data
- Capture basin approximation using interval analysis
- Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
- Linear Differential Game with Two Pursuers and One Evader
- Invariance for ordinary differential equations
- Set-theoretic methods in control
- Set-valued analysis
