Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement

This publication has 20 references indexed in Scilit:

• Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
  International Journal of Foundations of Computer Science, 2003
• Counter-Example Guided Predicate Abstraction of Hybrid Systems
  Published by Springer Nature ,2003
• The d/dt Tool for Verification of Hybrid Systems
  Published by Springer Nature ,2002
• Reachability Analysis of Hybrid Systems via Predicate Abstraction
  Published by Springer Nature ,2002
• Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations
  Published by Springer Nature ,1999
• Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States
  Published by Springer Nature ,1999
• Applying interval arithmetic to real, integer, and boolean constraints
  The Journal of Logic Programming, 1997
• Heterogeneous constraint solving
  Published by Springer Nature ,1996
• Partial Cylindrical Algebraic Decomposition for quantifier elimination
  Journal of Symbolic Computation, 1991
• Constraint propagation with interval labels
  Artificial Intelligence, 1987