This paper describes a new reliable method, based on modal interval analysis (MIA) and set inversion (SI) techniques, for the characterization of solution sets defined by quantified constraints satisfaction problems (QCSP) over continuous domains. The presented methodology, called quantified set inversion (QSI), can be used over a wide range of engineering problems involving uncertain nonlinear models. Finally, an application on parameter identification is presente
International audienceIn recent years, many applications, as well as theoretical properties of inter...
Abstract. Quantified Constraint Satisfaction Problems (QCSPs) extend classical CSPs by allowing univ...
We consider an unknown multivariate function representing a system—such as a complex numerical simul...
This paper describes a new reliable method, based on modal interval analysis (MIA) and set inversion...
Abstract. In this paper, a new algorithm based on Set Inversion techniques and Modal Interval Analys...
International audienceThis paper deals with a fault detection method taking model uncertainties desc...
Abstract: The problem of characterizing in a guaranteed way the set of all feasible set-points of a ...
We present an algorithm to characterize the set S = {x is an element of R-l : f(x) > 0} = f(-1)(]0, ...
Les restriccions reals quantificades (QRC) formen un formalisme matemàtic utilitzat per modelar un g...
A general framework for computing robust controllable sets of constrained nonlinear uncertain discre...
International audienceThis paper deals with the set inversion problem X = f −1 (Y) in the case where...
AbstractWe make a number of contributions to the study of the Quantified Constraint Satisfaction Pro...
We present an algorithm to characterize the set S = {x ∈ R-1 : f(x) > 0} = f(-1)(]0, ∞...
This paper introduces a new algorithm for solving a sub-class of quantified constraint satisfaction ...
Constraint satisfaction is a very well studied and fundamental artificial intelligence technique. Va...
International audienceIn recent years, many applications, as well as theoretical properties of inter...
Abstract. Quantified Constraint Satisfaction Problems (QCSPs) extend classical CSPs by allowing univ...
We consider an unknown multivariate function representing a system—such as a complex numerical simul...
This paper describes a new reliable method, based on modal interval analysis (MIA) and set inversion...
Abstract. In this paper, a new algorithm based on Set Inversion techniques and Modal Interval Analys...
International audienceThis paper deals with a fault detection method taking model uncertainties desc...
Abstract: The problem of characterizing in a guaranteed way the set of all feasible set-points of a ...
We present an algorithm to characterize the set S = {x is an element of R-l : f(x) > 0} = f(-1)(]0, ...
Les restriccions reals quantificades (QRC) formen un formalisme matemàtic utilitzat per modelar un g...
A general framework for computing robust controllable sets of constrained nonlinear uncertain discre...
International audienceThis paper deals with the set inversion problem X = f −1 (Y) in the case where...
AbstractWe make a number of contributions to the study of the Quantified Constraint Satisfaction Pro...
We present an algorithm to characterize the set S = {x ∈ R-1 : f(x) > 0} = f(-1)(]0, ∞...
This paper introduces a new algorithm for solving a sub-class of quantified constraint satisfaction ...
Constraint satisfaction is a very well studied and fundamental artificial intelligence technique. Va...
International audienceIn recent years, many applications, as well as theoretical properties of inter...
Abstract. Quantified Constraint Satisfaction Problems (QCSPs) extend classical CSPs by allowing univ...
We consider an unknown multivariate function representing a system—such as a complex numerical simul...