Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination

DOI10.1007/s00200-007-0056-7zbMath1167.68467OpenAlexW1494050842MaRDI QIDQ945005

Myunghoon Hong, Shinji Hara, Hirokazu Anai, Noriko Hyodo, Hitoshi Yanami

Publication date: 10 September 2008

Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00200-007-0056-7

zbMATH Keywords

Robust controlSymbolic-numeric computationQuantifier eliminationComputer Aided Control System Design toolFixed-structure controller synthesis

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Numerical computation of solutions to systems of equations (65H10) Quantifier elimination, model completeness, and related topics (03C10) Real algebraic and real-analytic geometry (14Pxx)

Related Items (2)

Applied Algebraic Geometry in Model Based Design for Manufacturing ⋮ An SOS-QE approach to nonlinear gain analysis for polynomial dynamical systems

Uses Software

• Matlab
• SYNRAC
• AQCS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The complexity of linear problems in fields
• Nonlinear control system design by quantifier elimination
• Robust multi-objective feedback design by quantifier elimination
• Approximate quantified constraint solving by cylindrical box decomposition
• New algebraic criteria for positive realness
• Applying Linear Quantifier Elimination
• Sum of roots with positive real parts
• Dynamical system design from a control perspective: finite frequency positive-realness approach
• A parameter space approach to fixed-order robust controller synthesis by quantifier elimination
• Computational Science – ICCS 2005
• Computational Science - ICCS 2004
• Symbolic reachability computation for families of linear vector fields

This page was built for publication: Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination