Nonlinear control system design by quantifier elimination

Symbolic computation and algebraic computation (68W30) Design techniques (robust design, computer-aided design, etc.) (93B51) Nonlinear systems in control theory (93C10)

Cited In (23)

Hidden verification for computational mathematics
Algorithmic methods for investigating equilibria in epidemic modeling
Parallel computation of real solving bivariate polynomial systems by zero-matching method
Quantified constraints under perturbation
Automatic generation of bounds for polynomial systems with application to the Lorenz system
Symbolic computation for the qualitative theory of differential equations
Applied Algebraic Geometry in Model Based Design for Manufacturing
A computational method for determining strong stabilizability of \(n\)-D systems
Cylindrical algebraic decomposition using validated numerics
Special algorithm for stability analysis of multistable biological regulatory systems
Symbolic reachability computation for families of linear vector fields
Cylindrical decomposition for systems transcendental in the first variable
Deciding polynomial-transcendental problems
Title not available (Why is that?)
Efficient handling of universally quantified inequalities
Minimal stabilizers with arbitrary spectrum for SIMO and MISO systems
Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination
Design of quantizer for a class of nonlinear systems
Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition
Cylindrical algebraic decomposition using local projections
Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
Quantified set inversion algorithm with applications to control
Variant quantifier elimination

Uses Software

QEPCAD

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)