Algorithmic Verification of Continuous and Hybrid Systems

Abstract

We provide a tutorial introduction to reachability computation, a class of computational techniques that exports verification technology toward continuous and hybrid systems. For open under-determined systems, this technique can sometimes replace an infinite number of simulations.

In Proceedings INFINITY 2013, arXiv:1402.6610

Cited by in corpus (1)

• Approximation of Reachable Set for Coherently Controlled Open Quantum Systems: Application to Quantum State Engineering