Add to ORKGMany problems in control theory can be formulated as formulae in the first-order theory of real closed fields. In this paper we investigate some of the expressive power of this theory. We consider dynamical systems described by polynomial differential equations subjected to constraints on control and system variables and show how to formulate questions in the above framework which can be answered by quantifier elimination. The problems treated in this paper regard stationarity, stability, and following of a polynomially parametrized curve. The software package QEPCAD has been used to solve a number of examples.
© 2016 IEEE. A method based on a quantifier elimination algorithm is suggested for obtaining explici...
Many devices (we say dynamical systems or simply systems) behave like black boxes: they receive an i...
This paper presents a solution to the control to facet problem for arbitrary polynomial vector field...
AbstractMany problems in control theory can be formulated as formulae in the first-order theory of r...
this paper we investigate some of the expressive power of this theory. We consider dynamical systems...
In this paper we focus on the applications of Quantifier Eliminations (QE) to ControlTheory and we a...
We present the application of real quantifier elimination to formal verification and synthesis of co...
In this paper symbolic-computation methods are used to design simple, fixed-structure, robust contro...
Quantifier elimination is a method for simplifying formulas that consist of polynomial equations, in...
In this paper we show how a number of interesting linear control system analysis and design problems...
Abstract. It is well known that various questions of stability of polynomial vectors fields can be r...
AbstractThis paper shows how certain robust multi-objective feedback design problems can be reduced ...
A constructive method for investigating if a given nonlinear dynamic system subject to control const...
Classifies control problems by exhibiting their alternating quantifier structure. This classificatio...
This contribution addresses the problem of discrete time receding horizon quadratic control for plan...
© 2016 IEEE. A method based on a quantifier elimination algorithm is suggested for obtaining explici...
Many devices (we say dynamical systems or simply systems) behave like black boxes: they receive an i...
This paper presents a solution to the control to facet problem for arbitrary polynomial vector field...
AbstractMany problems in control theory can be formulated as formulae in the first-order theory of r...
this paper we investigate some of the expressive power of this theory. We consider dynamical systems...
In this paper we focus on the applications of Quantifier Eliminations (QE) to ControlTheory and we a...
We present the application of real quantifier elimination to formal verification and synthesis of co...
In this paper symbolic-computation methods are used to design simple, fixed-structure, robust contro...
Quantifier elimination is a method for simplifying formulas that consist of polynomial equations, in...
In this paper we show how a number of interesting linear control system analysis and design problems...
Abstract. It is well known that various questions of stability of polynomial vectors fields can be r...
AbstractThis paper shows how certain robust multi-objective feedback design problems can be reduced ...
A constructive method for investigating if a given nonlinear dynamic system subject to control const...
Classifies control problems by exhibiting their alternating quantifier structure. This classificatio...
This contribution addresses the problem of discrete time receding horizon quadratic control for plan...
© 2016 IEEE. A method based on a quantifier elimination algorithm is suggested for obtaining explici...
Many devices (we say dynamical systems or simply systems) behave like black boxes: they receive an i...
This paper presents a solution to the control to facet problem for arbitrary polynomial vector field...