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

DOI10.1007/S00200-007-0056-7MaRDI QIDQ945005zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• A parameter space approach to fixed-order robust controller synthesis by quantifier elimination
• scientific article; zbMATH DE number 1049751
• Nonlinear control system design by quantifier elimination
• scientific article; zbMATH DE number 2009904
• A convex parameterization of robustly stabilizing controllers

Cites work

• scientific article; zbMATH DE number 1157660 (Why is no real title available?)
• scientific article; zbMATH DE number 1157665 (Why is no real title available?)
• scientific article; zbMATH DE number 1794361 (Why is no real title available?)
• scientific article; zbMATH DE number 1379088 (Why is no real title available?)
• A parameter space approach to fixed-order robust controller synthesis by quantifier elimination
• Applying Linear Quantifier Elimination
• Approximate quantified constraint solving by cylindrical box decomposition
• Computational Science - ICCS 2004
• Computational Science – ICCS 2005
• Dynamical system design from a control perspective: finite frequency positive-realness approach
• New algebraic criteria for positive realness
• Nonlinear control system design by quantifier elimination
• Robust multi-objective feedback design by quantifier elimination
• Sum of roots with positive real parts
• Symbolic reachability computation for families of linear vector fields
• The complexity of linear problems in fields

Cited in

(2)

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

Describes a project that uses

Uses Software

• Matlab
• SYNRAC
• AQCS

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

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