TY - RPRT TI - A Computational Approach to Bisimulation of Hybrid Dynamical Systems AU - Babak Tavassoli PY - 2014 UR - https://arxiv.org/abs/1409.0206 ID - 1409.0206 ER -