Robust multi-objective feedback design by quantifier elimination

DOI10.1006/JSCO.1997.0120MaRDI QIDQ1368691zbMATH OpenOpenAlexFDO

Authors Peter Dorato, Wei Yang, Chaouki 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)

Cited in

(15)

• A parameter space approach to fixed-order robust controller synthesis by quantifier elimination
• Algebraic Approach to the Computation of the Defining Polynomial of the Algebraic Riccati Equation
• Quantified constraints under perturbation
• 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
• Robust analysis and design of control systems using interval arithmetic
• Cylindrical decomposition for systems transcendental in the first variable
• Deciding polynomial-transcendental problems
• Efficient handling of universally quantified inequalities
• An SOS-QE approach to nonlinear gain analysis for polynomial dynamical systems
• Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination
• Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition

This page was built for publication: Robust multi-objective feedback design by quantifier elimination

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1368691)