Contractor programming
From MaRDI portal
Publication:840818
DOI10.1016/j.artint.2009.03.002zbMath1191.68628OpenAlexW2912589708MaRDI QIDQ840818
Publication date: 14 September 2009
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2009.03.002
Theory of programming languages (68N15) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects ⋮ Range-only SLAM with indistinguishable landmarks; a constraint programming approach ⋮ Constrained global optimization for wine blending ⋮ Set-valued state estimation of nonlinear discrete-time systems with nonlinear invariants based on constrained zonotopes ⋮ Thick set inversion ⋮ A generic interval branch and bound algorithm for parameter estimation ⋮ A new methodology for solving fuzzy systems of equations: thick fuzzy sets based approach ⋮ Bracketing the solutions of an ordinary differential equation with uncertain initial conditions ⋮ An interval extension based on occurrence grouping ⋮ Solving set-valued constraint satisfaction problems ⋮ Enhancing interval constraint propagation by identifying and filtering \(n\)-ary subsystems ⋮ Inner and outer characterization of the projection of polynomial equations using symmetries, quotients and intervals ⋮ Set-membership state estimation with fleeting data ⋮ Adaptive constructive interval disjunction: algorithms and experiments ⋮ A global constraint for over-approximation of real-time streams ⋮ Fuzzy Matrix Contractor Based Approach for Localization of Robots ⋮ Determination of set-membership identifiability sets ⋮ Phase based localization for underwater vehicles using interval analysis ⋮ Solving non-linear constraint satisfaction problems involving time-dependent functions ⋮ A greedy approach for a rolling stock management problem using multi-interval constraint propagation. A greedy approach for a rolling stock management problem using multi-interval constraint propagation, ROADEF/EURO challenge 2014 ⋮ Upper bounding in inner regions for global optimization under inequality constraints ⋮ Estimating the robust domain of attraction for non-smooth systems using an interval Lyapunov equation ⋮ A new interval-based method to characterize estimability ⋮ Set-membership identifiability of nonlinear models and related parameter estimation properties ⋮ Construction of parametric barrier functions for dynamical systems using interval analysis ⋮ Constraint games for stable and optimal allocation of demands in SDN ⋮ Improving inter-block backtracking with interval Newton ⋮ Nonlinear biobjective optimization: improving the upper envelope using feasible line segments ⋮ Nonlinear biobjective optimization: improvements to interval branch \& bound algorithms ⋮ \texttt{lsmear}: a variable selection strategy for interval branch and bound solvers ⋮ Node selection strategies in interval branch and bound algorithms ⋮ Bounded-error state and parameter estimation of tip-tilt disturbances in adaptive optics systems ⋮ Reliable nonlinear state estimation involving time uncertainties ⋮ Computing Capture Tubes ⋮ Exploiting Binary Floating-Point Representations for Constraint Propagation ⋮ Bracketing backward reach sets of a dynamical system ⋮ Computation of robust capture zones using interval-based viability techniques in presence of state uncertainties ⋮ Actions of the hyperoctahedral group to compute minimal contractors ⋮ The octagon abstract domain for continuous constraints
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Derived eigenvalues of symmetric matrices, with applications to distance geometry
- Constraint propagation with interval labels
- Bounding solutions of systems of equations using interval analysis
- Constraint reasoning based on interval arithmetic: The tolerance propagation approach
- Guaranteed parameter bounding for nonlinear models with uncertain experimental factors
- Rigorous global search: continuous problems
- Quantified constraints under perturbation
- Quantified set inversion algorithm with applications to control
- GlobSol user guide
- GPDOF — A FAST ALGORITHM TO DECOMPOSE UNDER-CONSTRAINED GEOMETRIC CONSTRAINT SYSTEMS: APPLICATION TO 3D MODELING
- Inner and Outer Approximations of Existentially Quantified Equality Constraints
- When Interval Analysis Helps Inter-block Backtracking
- Algorithm 852
- Solving Polynomial Systems Using a Branch and Prune Approach
- A Comparison of some Methods for Solving Linear Interval Equations
