Solving non-linear constraint satisfaction problems involving time-dependent functions

DOI10.1007/s11786-014-0209-6zbMath1302.65122OpenAlexW2075639574MaRDI QIDQ475451

Aymeric Bethencourt, Jaulin, Luc

Publication date: 27 November 2014

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-014-0209-6

zbMATH Keywords

interval analysisconstraint satisfaction problemtubestime dependant functions

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30) General methods in interval analysis (65G40)

Related Items

Reliable nonlinear state estimation involving time uncertainties ⋮ Computing Capture Tubes

Cites Work

• Using interval arithmetic to prove that a set is path-connected
• Contractor programming
• Robust MPC of constrained discrete-time nonlinear systems based on approximated reachable sets
• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
• Ellipsoidal calculus for estimation and control
• Nonlinear bounded-error state estimation of continuous-time systems
• Loop detection of mobile robots using interval analysis
• Box particle filtering for nonlinear state estimation using interval analysis
• Interval-based fast fault detection and identification applied to radio-navigation multipath
• Reachability Analysis of Nonlinear Differential-Algebraic Systems
• Set-valued analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item