Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction

This publication has 13 references indexed in Scilit:

• HYTECH: the next generation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Reachability Analysis of Hybrid Systems via Predicate Abstraction
  Published by Springer Nature ,2002
• Virtual Storytelling Using Virtual Reality Technologies for Storytelling
  Published by Springer Nature ,2001
• Bounded Model Checking Using Satisfiability Solving
  Formal Methods in System Design, 2001
• Bebop: A Symbolic Model Checker for Boolean Programs
  Published by Springer Nature ,2000
• Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems
  Published by Springer Nature ,2000
• Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations
  Published by Springer Nature ,1999
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Property preserving abstractions for the verification of concurrent systems
  Formal Methods in System Design, 1995
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977