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