Discussion on: ``Stabilisability and stability for explicit and implicit polynomial systems: A symbolic computation approach by D. Nešić and I. M. Y. Mareels

DOI10.1016/S0947-3580(99)70136-6zbMath0936.93503MaRDI QIDQ1306037

V. Pereyra

Publication date: 22 November 1999

Published in: European Journal of Control (Search for Journal in Brave)

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Stabilization of systems by feedback (93D15) Nonlinear systems in control theory (93C10)

Cites Work

• Quantifier elimination for real algebra -- the quadratic case and beyond
• Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition
• Quantifier Elimination for Formulas Constrained by Quadratic Equations via Slope Resultants
• Applying Linear Quantifier Elimination

This page was built for publication: Discussion on: ``Stabilisability and stability for explicit and implicit polynomial systems: A symbolic computation approach by D. Nešić and I. M. Y. Mareels