Nonlinear control system design by quantifier elimination
From MaRDI portal
Recommendations
Cited in
(26)- Algorithmic methods for investigating equilibria in epidemic modeling
- Parallel computation of real solving bivariate polynomial systems by zero-matching method
- Applied Algebraic Geometry in Model Based Design for Manufacturing
- Special algorithm for stability analysis of multistable biological regulatory systems
- Cylindrical decomposition for systems transcendental in the first variable
- Deciding polynomial-transcendental problems
- Hidden verification for computational mathematics
- Symbolic reachability computation for families of linear vector fields
- scientific article; zbMATH DE number 6386422 (Why is no real title available?)
- Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
- Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition
- Cylindrical algebraic decomposition using validated numerics
- Minimal stabilizers with arbitrary spectrum for SIMO and MISO systems
- Symbolic computation for the qualitative theory of differential equations
- An SOS-QE approach to nonlinear gain analysis for polynomial dynamical systems
- Cylindrical algebraic decomposition using local projections
- Efficient handling of universally quantified inequalities
- A computational method for determining strong stabilizability of \(n\)-D systems
- Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination
- Design of quantizer for a class of nonlinear systems
- Quantified set inversion algorithm with applications to control
- Quantified constraints under perturbation
- Application of Dixon resultant to satellite trajectory control by pole placement
- Variant quantifier elimination
- A polynomial design for nonlinear control systems
- Automatic generation of bounds for polynomial systems with application to the Lorenz system
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)
