A computational procedure for bisimulation of hybrid dynamical systems

Babak Tavassoli. A computational procedure for bisimulation of hybrid dynamical systems. In European Control Conference, ECC 2015, Linz, Austria, July 15-17, 2015. pages 1432-1437, IEEE, 2015. [doi]

Abstract

Abstract is missing.