Robust multi-objective feedback design by quantifier elimination

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

Mathematics Subject Classification ID

Design techniques (robust design, computer-aided design, etc.) (93B51)

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