Nonlinear control system design by quantifier elimination
From MaRDI portal
Publication:1368690
DOI10.1006/jsco.1997.0119zbMath0882.93022OpenAlexW2061749308MaRDI QIDQ1368690
Publication date: 12 March 1998
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/0220b85a208cafbe0af078db02d715aa022ee95e
Symbolic computation and algebraic computation (68W30) Nonlinear systems in control theory (93C10) Design techniques (robust design, computer-aided design, etc.) (93B51)
Related Items
Applied Algebraic Geometry in Model Based Design for Manufacturing ⋮ Minimal stabilizers with arbitrary spectrum for SIMO and MISO systems ⋮ Variant quantifier elimination ⋮ Cylindrical decomposition for systems transcendental in the first variable ⋮ Deciding polynomial-transcendental problems ⋮ 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 ⋮ Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination ⋮ Automatic generation of bounds for polynomial systems with application to the Lorenz system ⋮ Symbolic reachability computation for families of linear vector fields ⋮ Cylindrical algebraic decomposition using local projections ⋮ Efficient handling of universally quantified inequalities ⋮ Symbolic computation for the qualitative theory of differential equations ⋮ Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition ⋮ Deciding Hopf bifurcations by quantifier elimination in a software-component architecture ⋮ Quantified set inversion algorithm with applications to control ⋮ A computational method for determining strong stabilizability of \(n\)-D systems ⋮ Special algorithm for stability analysis of multistable biological regulatory systems ⋮ Quantified constraints under perturbation
Uses Software