Results 1  10
of
13
Efficient solving of quantified inequality constraints over the real numbers
 ACM Transactions on Computational Logic
"... Let a quantified inequality constraint over the reals be a formula in the firstorder predicate language over the structure of the real numbers, where the allowed predicate symbols are ≤ and <. Solving such constraints is an undecidable problem when allowing function symbols such sin or cos. In the ..."
Abstract

Cited by 25 (7 self)
 Add to MetaCart
Let a quantified inequality constraint over the reals be a formula in the firstorder predicate language over the structure of the real numbers, where the allowed predicate symbols are ≤ and <. Solving such constraints is an undecidable problem when allowing function symbols such sin or cos. In the paper we give an algorithm that terminates with a solution for all, except for very special, pathological inputs. We ensure the practical efficiency of this algorithm by employing constraint programming techniques. 1
Continuous FirstOrder Constraint Satisfaction
 ARTIFICIAL INTELLIGENCE, AUTOMATED REASONING, AND SYMBOLIC COMPUTATION, NUMBER 2385 IN LNCS
, 2002
"... This paper shows how to use constraint programming techniques for solving firstorder constraints over the reals (i.e., formulas in the firstorder predicate language over the structure of the real numbers). More specifically, based on a narrowing operator that implements an arbitrary notion of con ..."
Abstract

Cited by 22 (12 self)
 Add to MetaCart
This paper shows how to use constraint programming techniques for solving firstorder constraints over the reals (i.e., formulas in the firstorder predicate language over the structure of the real numbers). More specifically, based on a narrowing operator that implements an arbitrary notion of consistency for atomic constraints over the reals (e.g., boxconsistency), the paper provides a narrowing operator for firstorder constraints that implements a corresponding notion of firstorder consistency, and a solver based on such a narrowing operator. As a consequence, this solver can take over various favorable properties from the field of constraint programming.
Quantified Constraints under Perturbation
 ARTICLE SUBMITTED TO JOURNAL OF SYMBOLIC COMPUTATION
"... Quantified constraints (i.e., firstorder formulae over the real numbers) are often exposed to perturbations: Constants that come from measurements usually are only known up to certain precision, and numerical methods only compute with approximations of real numbers. In this paper we study the be ..."
Abstract

Cited by 16 (11 self)
 Add to MetaCart
Quantified constraints (i.e., firstorder formulae over the real numbers) are often exposed to perturbations: Constants that come from measurements usually are only known up to certain precision, and numerical methods only compute with approximations of real numbers. In this paper we study the behavior of quantified constraints under perturbation by showing that one can formulate the problem of solving quantified constraints as a nested parametric optimization problem followed by one sign computation. Using the fact that minima and maxima are stable under perturbation, but the sign of a real number is stable only for nonzero inputs, we derive practically useful conditions for the stability of quantified constraints under perturbation.
Search Heuristics for Box Decomposition Methods
 Journal of Global Optimization
, 2001
"... In this paper we study search heuristics for box decomposition methods that solve problems such as global optimization, minimax optimization, or quantified constraint solving. For this we unify these methods as nested branchandbound algorithms, and develop a model that is more convenient for study ..."
Abstract

Cited by 5 (4 self)
 Add to MetaCart
In this paper we study search heuristics for box decomposition methods that solve problems such as global optimization, minimax optimization, or quantified constraint solving. For this we unify these methods as nested branchandbound algorithms, and develop a model that is more convenient for studying heuristics for these algorithms than the traditional models from Artificial Intelligence. We use the result to prove various theorems about heuristics and apply the outcome to the box decomposition methods under consideration. We support the findings with timings for the method of quantified constraint solving developed by the author.
Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data
"... Constraint Programming (CP) has proved an e ective paradigm to model and solve di cult combinatorial satisfaction and optimisation problems from disparate domains. Many such problems arising from the commercial world are permeated by data uncertainty. Existing CP approaches that accommodate uncertai ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
Constraint Programming (CP) has proved an e ective paradigm to model and solve di cult combinatorial satisfaction and optimisation problems from disparate domains. Many such problems arising from the commercial world are permeated by data uncertainty. Existing CP approaches that accommodate uncertainty are less suited to uncertainty arising due to incomplete and erroneous data, because they do not build reliable models and solutions guaranteed to address the user's genuine problem as she perceives it. Other elds such as reliable computation o er combinations of models and associated methods to handle these types of uncertain data, but lack an expressive framework characterising the resolution methodology independently of the model. We present a unifying framework that extends the CP formalism in both model and solutions, to tackle illde ned combinatorial problems with incomplete or erroneous data. The certainty closure framework brings together modelling and solving methodologies from di erent elds into the CP paradigm to provide reliable and e cient approches for uncertain constraint problems. We demonstrate the applicability of the framework on a case study in network diagnosis. We de ne resolution forms that give generic templates, and their associated operational semantics, to derive practical solution methods for reliable solutions.
Efficient Handling of Universally Quantified Inequalities
, 2008
"... This paper introduces a new framework for solving quantified constraint satisfaction problems (QCSP) defined by universally quantified inequalities on continuous domains. This class of QCSPs has numerous applications in engineering and technology. We introduce a generic branch and prune algorithm to ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
This paper introduces a new framework for solving quantified constraint satisfaction problems (QCSP) defined by universally quantified inequalities on continuous domains. This class of QCSPs has numerous applications in engineering and technology. We introduce a generic branch and prune algorithm to tackle these continuous CSPs with parametric constraints, where the pruning and the solution identification processes are dedicated to universally quantified inequalities. Special rules are proposed to handle the parameter domains of the constraints. The originality of our framework lies in the fact that it solves the QCSP as a nonquantified CSP where the quantifiers are handled locally, at the level of each constraint. Experiments show that our algorithm outperforms the state of the art methods based on constraint techniques.
Robust pole clustering of parametric uncertain systems using interval methods
"... In this paper a new methodology to solve the pole clustering problem for parametric uncertain systems is introduced: The problem of clustering the closed loop poles into prescribed Dregions in the complex plane is stated as a quantified constraint problem that represents bounded uncertain parame ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
In this paper a new methodology to solve the pole clustering problem for parametric uncertain systems is introduced: The problem of clustering the closed loop poles into prescribed Dregions in the complex plane is stated as a quantified constraint problem that represents bounded uncertain parameters by intervals; and an engineeringoriented approach based on interval methods is developed to solve this quantified constraint problem. The result is a new, robust, reliable and design oriented method to deal with parametric uncertain systems. The
unknown title
"... do not contain solutions. When we cannot easily prune more elements, we do branching by splitting a bound into pieces (for quantified variables this means replacing subconstraints of the form ∀x ∈ I φ by ∀x ∈ I1 φ ∧ ∀x ∈ I2 φ where I = I1 ∪ I2, or the corresponding existential case). This gives us ..."
Abstract
 Add to MetaCart
do not contain solutions. When we cannot easily prune more elements, we do branching by splitting a bound into pieces (for quantified variables this means replacing subconstraints of the form ∀x ∈ I φ by ∀x ∈ I1 φ ∧ ∀x ∈ I2 φ where I = I1 ∪ I2, or the corresponding existential case). This gives us new possibilities for pruning. We repeat the two steps until we have pruned all elements (or disproved the constraint). For computing elements of the bounds that do contain solutions we take the negation of the input constraint and again apply the above branchandprune approach. In the paper we formalize this approach, study its properties in detail, improve it for an implementation, and do timings that show its efficiency. As a sideeffect, this paper even improves the current methods for numerical constraint satisfaction problems in the case where the solution set does not consist of finitely many, isolated solutions, which—up to now—was essential for their efficiency. For example, the book describing the system Numerica [56] explicitly states that for inputs not fulfilling that property the method creates
Real FirstOrder Inequality Constraints Are Stable With Probability One  A Case For Constraint Programming
"... Let a real firstorder inequality constraint be a formula in the firstorder predicate language over the reals, with the predicate symbols sin, . . . . ..."
Abstract
 Add to MetaCart
Let a real firstorder inequality constraint be a formula in the firstorder predicate language over the reals, with the predicate symbols sin, . . . .
Author manuscript, published in "JFPC 2008 Quatrièmes Journées Francophones de Programmation par Contraintes, Nantes: France (2008)"
, 2008
"... This paper introduces a new algorithm for solving a subclass of quantified constraint satisfaction problems (QCSP) where existential quantifiers precede universally quantified inequalities on continuous domains. This class of QCSPs has numerous applications in engineering and design. We propose here ..."
Abstract
 Add to MetaCart
This paper introduces a new algorithm for solving a subclass of quantified constraint satisfaction problems (QCSP) where existential quantifiers precede universally quantified inequalities on continuous domains. This class of QCSPs has numerous applications in engineering and design. We propose here a new generic branch and prune algorithm for solving such continuous QCSPs. Standard pruning operators and solution identification operators are specialized for universally quantified inequalities. Special rules are also proposed for handling the parameters of the constraints. First experimentation show that our algorithm outperforms the state of the art methods.