Reach Set Computations Using Real Quantifier Elimination
- 21 March 2001
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 19 references indexed in Scilit:
- Fixed-structure robust controller synthesis based on sign definite condition by a special quantifier eliminationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2000
- Algebraic approach to analysis of discrete-time polynomial systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1999
- Tame Topology and O-minimal StructuresPublished by Cambridge University Press (CUP) ,1998
- Quantifier Elimination and Cylindrical Algebraic DecompositionPublished by Springer Science and Business Media LLC ,1998
- Nonlinear Control System Design by Quantifier EliminationJournal of Symbolic Computation, 1997
- REDLOGACM SIGSAM Bulletin, 1997
- On the combinatorial and algebraic complexity of quantifier eliminationJournal of the ACM, 1996
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- Partial Cylindrical Algebraic Decomposition for quantifier eliminationJournal of Symbolic Computation, 1991
- Output feedback stabilization and related problems-solution via decision methodsIEEE Transactions on Automatic Control, 1975