Algorithmic algebraic model checking III: Approximate methods

Electronic Notes in Theoretical Computer Science

Volumn 149, Issue 1, 2006, Pages 61-77

  Mysore, Venkatesh ^a   Mishra, Bud ^b  

^a POLYTECHNIC UNIVERSITY   (United States)

^b NEW YORK UNIVERSITY   (United States)

Author keywords

Model checking; Semi algebraic hybrid systems

Indexed keywords

COMPUTATIONAL METHODS; LINEAR ALGEBRA; MATHEMATICAL MODELS;

MODEL CHECKING; SEMI-ALGEBRAIC HYBRID SYSTEMS;

ALGORITHMS;

EID: 31144441911     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.11.017     Document Type: Conference Paper

References (10)

1. E. Asarin, T. Dang, O. Maler, and O. Bournez Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems B. Krogh N. Lynch, editors, Hybrid Systems: Computation and Control (HSCC'00) LNCS volume 1790 2000 Springer-Verlag 20 31
2. O. Bournez, O. Maler, and A. Pnueli Orthogonal Polyhedra: Representation and Computation F. Vaadrager J. van Schuppen, editors, Hybrid Systems: Computation and Control (HSCC 1999) LNCS volume 1596 1999 Springer-Verlag 19 30
3. A. Chutinan, and B. Krogh Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations F.W. Vaandrager J.H. van Schuppen, editors, Hybrid Systems: Computation and Control (HSCC'99) LNCS volume 1569 1999 Springer-Verlag 76 90
4. Ronojoy Ghosh, and Claire Tomlin Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modelling: Delta-notch protein signalling Systems Biology 1 1 June 2004 170 183
5. H. Hong Quantifier elimination in elementary algebra and geometry by partial cylindrical algebraic decomposition version 13. WWW site www.eecis.udel.edu/~saclib 1995
6. R. Lanotte, and A. Maggiolo-Schettini Monotonic hybrid systems Journal of Computer and System Sciences 2004
7. B. Mishra Computational Real Algebraic Geometry 2004 CRC Press Boca Raton, FL
8. V. Mysore, C. Piazza, and B. Mishra. Algorithmic algebraic model checking II: Symbolic bounded model checking and reachability results. In Automated Technology for Verification and Analysis (ATVA) (submitted), 2005
9. C. Piazza, M. Antoniotti, V. Mysore, A. Policriti, F. Winkler, and B. Mishra. Algorithmic algebraic model checking I: The case of biochemical systems and their reachability analysis. In Computer Aided Verification (CAV), 2005
10. A. Tarski A Decision Method for Elementary Algebra and Geometry second edition 1948 University of California Press