1. Reachability analysis of dynamical systems having piecewise-constant derivatives;Asarin;Theoret. Comput. Sci.,1995
2. Widening the boundary between decidable and undecidable hybrid systems;Asarin,2002
3. On the decidability of the reachability problem for planar differential inclusions;Asarin,2001
4. On the complexity of bounded time reachability for piecewise affine systems;Bazille,2014
5. Reachability problems for hierarchical piecewise constant derivative systems;Bell,2013