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

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

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

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 control; Symbolic-numeric computation; Quantifier elimination; Computer Aided Control System Design tool; Fixed-structure controller synthesis

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

65H10: Numerical computation of solutions to systems of equations

03C10: Quantifier elimination, model completeness, and related topics

14Pxx: Real algebraic and real-analytic geometry

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