Nonlinear control system design by quantifier elimination

Mixed real-integer linear quantifier elimination

ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation

Deciding linear-trigonometric problems

ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation

Symbolic Reachability Computation for Families of Linear Vector Fields

Journal of Symbolic Computation

Quantified constraints under perturbation

Journal of Symbolic Computation

Reach Set Computations Using Real Quantifier Elimination

HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control

Cited References

Computer algebra handbook

Sum of roots with positive real parts

Proceedings of the 2005 international symposium on Symbolic and algebraic computation

A branch and prune algorithm for the approximation of non-linear AE-solution sets

Proceedings of the 2006 ACM symposium on Applied computing

An efficient algorithm for a sharp approximation of universally quantified inequalities

Proceedings of the 2008 ACM symposium on Applied computing

Efficient handling of universally quantified inequalities

Constraints

Interactions Between PVS and Maple in Symbolic Analysis of Control Systems

Electronic Notes in Theoretical Computer Science (ENTCS)

Hidden verification for computational mathematics

Journal of Symbolic Computation

Algorithmic algebraic model checking IV: characterization of metabolic networks

AB'07 Proceedings of the 2nd international conference on Algebraic biology

Verification and synthesis using real quantifier elimination

Proceedings of the 36th international symposium on Symbolic and algebraic computation

Cylindrical decomposition for systems transcendental in the first variable

Journal of Symbolic Computation

Algorithmic algebraic model checking II: decidability of semi-algebraic model checking and its applications to systems biology

ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis

New domains for applied quantifier elimination

CASC'06 Proceedings of the 9th international conference on Computer Algebra in Scientific Computing

Variant quantifier elimination

Journal of Symbolic Computation

Solving polynomial systems over semialgebraic sets represented by cylindrical algebraic formulas

Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation