Algorithmic Algebraic Model Checking III: Approximate Methods
Venkatesh Mysore, Bud Mishra · Electronic Notes in Theoretical Computer Science · 2006
We present computationally efficient techniques for approximate model-checking using bisimulation-partitioning, polyhedra, grids and time discretization for semi-algebraic hybrid systems, and demonstrate how they relate to and extend other existing techniques.