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

DOI10.1007/S11786-014-0209-6MaRDI QIDQ475451zbMATHOpenAlexFDO

Authors Aymeric Bethencourt, L. Jaulin

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

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

Recommendations

• scientific article; zbMATH DE number 1336257
• The complexity of temporal constraint satisfaction problems
• Discrete temporal constraint satisfaction problems
• scientific article; zbMATH DE number 4082101
• A CDCL-style calculus for solving non-linear constraints
• Artificial Intelligence and Symbolic Computation
• Efficient solving of time-dependent answer set programs
• Solving nonlinear programming problems with very many constraints
• On Solving Soft Temporal Constraints Using SAT Techniques
• Numerical constraint satisfaction problems with non-isolated solutions

Cites work

• scientific article; zbMATH DE number 1595639 (Why is no real title available?)
• scientific article; zbMATH DE number 3649911 (Why is no real title available?)
• scientific article; zbMATH DE number 2029545 (Why is no real title available?)
• scientific article; zbMATH DE number 2079838 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 806825 (Why is no real title available?)
• scientific article; zbMATH DE number 890273 (Why is no real title available?)
• scientific article; zbMATH DE number 2238781 (Why is no real title available?)
• Box particle filtering for nonlinear state estimation using interval analysis
• Contractor programming
• Ellipsoidal calculus for estimation and control
• Interval-based fast fault detection and identification applied to radio-navigation multipath
• Loop detection of mobile robots using interval analysis
• Nonlinear bounded-error state estimation of continuous-time systems
• Reachability Analysis of Nonlinear Differential-Algebraic Systems
• Robust MPC of constrained discrete-time nonlinear systems based on approximated reachable sets
• Set-valued analysis
• Using interval arithmetic to prove that a set is path-connected
• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models

Cited in

(2)

• Computing capture tubes
• Reliable nonlinear state estimation involving time uncertainties

This page was built for publication: Solving non-linear constraint satisfaction problems involving time-dependent functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q475451)