Nonlinear control system design by quantifier elimination
From MaRDI portal
Dynamical systems described by polynomial differential equations subject to constraints on control and system variables are analyzed with respect to stationarity, stability and following of a curve by quantifier elimination. Several examples of control system which are treated completely by this method are given.
Recommendations
Cited in
(30)- Efficient handling of universally quantified inequalities
- A computational method for determining strong stabilizability of \(n\)-D systems
- Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition
- Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
- Quantified constraints under perturbation
- Automatic generation of bounds for polynomial systems with application to the Lorenz system
- A polynomial design for nonlinear control systems
- Application of Dixon resultant to satellite trajectory control by pole placement
- Minimal stabilizers with arbitrary spectrum for SIMO and MISO systems
- Symbolic computation for the qualitative theory of differential equations
- Special algorithm for stability analysis of multistable biological regulatory systems
- Parallel computation of real solving bivariate polynomial systems by zero-matching method
- Hidden verification for computational mathematics
- Cylindrical algebraic decomposition using validated numerics
- Algorithmic methods for investigating equilibria in epidemic modeling
- Quantified set inversion algorithm with applications to control
- Design of quantizer for a class of nonlinear systems
- scientific article; zbMATH DE number 6386422 (Why is no real title available?)
- Applied Algebraic Geometry in Model Based Design for Manufacturing
- An SOS-QE approach to nonlinear gain analysis for polynomial dynamical systems
- Variant quantifier elimination
- scientific article; zbMATH DE number 1342077 (Why is no real title available?)
- scientific article; zbMATH DE number 1049751 (Why is no real title available?)
- Symbolic reachability computation for families of linear vector fields
- Cylindrical algebraic decomposition using local projections
- Cylindrical decomposition for systems transcendental in the first variable
- Deciding polynomial-transcendental problems
- Inner and outer approximations of arbitrarily quantified reachability problems
- Inner and outer approximate quantifier elimination for general reachability problems
- Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination
This page was built for publication: Nonlinear control system design by quantifier elimination
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1368690)
