Robust multi-objective feedback design by quantifier elimination
From MaRDI portal
Publication:1368691
DOI10.1006/jsco.1997.0120zbMath0938.93534OpenAlexW2029381483MaRDI QIDQ1368691
Peter Dorato, Wei Yang, Chaouki T. Abdallah
Publication date: 21 June 2000
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/491cbc8c1d4332dff187a255b6ead66ec0138f2e
Related Items
Applied Algebraic Geometry in Model Based Design for Manufacturing ⋮ Robust analysis and design of control systems using interval arithmetic ⋮ An SOS-QE approach to nonlinear gain analysis for polynomial dynamical systems ⋮ Cylindrical decomposition for systems transcendental in the first variable ⋮ Deciding polynomial-transcendental problems ⋮ Cylindrical algebraic decomposition using validated numerics ⋮ Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination ⋮ A parameter space approach to fixed-order robust controller synthesis by quantifier elimination ⋮ Symbolic reachability computation for families of linear vector fields ⋮ Efficient handling of universally quantified inequalities ⋮ Algebraic Approach to the Computation of the Defining Polynomial of the Algebraic Riccati Equation ⋮ Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition ⋮ 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