A New Hybrid Automaton Framework with Partial Differential Equation Dynamics - Bao, Tianshu (arXiv.org)