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

DOI10.1007/S11786-014-0209-6zbMATH Open1302.65122OpenAlexW2075639574MaRDI QIDQ475451FDOQ475451

L. Jaulin, Aymeric Bethencourt

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

Recommendations

• scientific article; zbMATH DE number 1336257
• The complexity of temporal constraint satisfaction problems
• Discrete temporal constraint satisfaction problems
• scientific article
• 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

zbMATH Keywords

interval analysisconstraint satisfaction problemtubestime dependant functions

Mathematics Subject Classification ID

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

Cites Work

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

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)