Computing Capture Tubes

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

zbMATH Keywords

stabilityinterval arithmeticroboticscontractorscapture tube

Mathematics Subject Classification ID

Robot dynamics and control of rigid bodies (70E60)

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