1. The algorithmic analysis of hybrid systems;Alur;Theoretical Computer Science,1995
2. Reachability analysis of dynamical systems having piecewise-constant derivatives;Asarin;Theoretical Computer Science,1995
3. Approximate reachability analysis of piecewise-linear dynamical systems;Asarin,2000
4. Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations;Botchkarev,2000
5. Computational techniques for the verification of hybrid systems;Tomlin;Proceedings of the IEEE,2003