A Computational Approach to Bisimulation of Hybrid Dynamical Systems

Babak Tavassoli

The problem of finding a finite state symbolic model which is bisimilar to a hybrid dynamical system (HDS) and has the minimum number of states is considered. The considered class…