Add to ORKGIn this paper symbolic-computation methods are used to design simple, fixed-structure, robust controllers for nonlinear systems. Design specifications are reduced to logically quantified polynomial inequalities. The quantifier-elimination (QE) software package QEPCAD is used to eliminate quantifiers on state and plant parameters, to obtain regions of admissible controller parameters, and to guarantee robust stability and performance. Key Words-Nonlinear control; robust stability; robust performance; Lyapunov function. I
Abstract. For a given asymptotically stable linear dynamic system it is often of interest to determi...
A numerical algorithm for computing necessary conditions for performance specifications is developed...
Robust control design of nonlinear uncertain systems is investigated. A system under consideration c...
this paper we investigate some of the expressive power of this theory. We consider dynamical systems...
AbstractMany problems in control theory can be formulated as formulae in the first-order theory of r...
This paper deals with the class of nonlinear systems described by the equation M(q(t))q(t) = f(t) - ...
In this thesis, investigation of robust stability properties for certain nonlinear systems via exact...
Robust control design of nonlinear uncertain systems is investigated. A system under consideration c...
In this paper we focus on the applications of Quantifier Eliminations (QE) to ControlTheory and we a...
AbstractThis paper shows how certain robust multi-objective feedback design problems can be reduced ...
This paper presents a nonlinear control design method for robust stabilization and robust performanc...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 1997....
. Some problems within nonlinear control theory are stated and solved using so called Grobner bases ...
The authors present an alternative control design approach for nonlinear uncertain systems that do n...
In this paper we present anew parameter space design method for robust control synthesis, in particu...
Abstract. For a given asymptotically stable linear dynamic system it is often of interest to determi...
A numerical algorithm for computing necessary conditions for performance specifications is developed...
Robust control design of nonlinear uncertain systems is investigated. A system under consideration c...
this paper we investigate some of the expressive power of this theory. We consider dynamical systems...
AbstractMany problems in control theory can be formulated as formulae in the first-order theory of r...
This paper deals with the class of nonlinear systems described by the equation M(q(t))q(t) = f(t) - ...
In this thesis, investigation of robust stability properties for certain nonlinear systems via exact...
Robust control design of nonlinear uncertain systems is investigated. A system under consideration c...
In this paper we focus on the applications of Quantifier Eliminations (QE) to ControlTheory and we a...
AbstractThis paper shows how certain robust multi-objective feedback design problems can be reduced ...
This paper presents a nonlinear control design method for robust stabilization and robust performanc...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Aeronautics and Astronautics, 1997....
. Some problems within nonlinear control theory are stated and solved using so called Grobner bases ...
The authors present an alternative control design approach for nonlinear uncertain systems that do n...
In this paper we present anew parameter space design method for robust control synthesis, in particu...
Abstract. For a given asymptotically stable linear dynamic system it is often of interest to determi...
A numerical algorithm for computing necessary conditions for performance specifications is developed...
Robust control design of nonlinear uncertain systems is investigated. A system under consideration c...