%0 Conference Paper %B 2018 IEEE Conference on Decision and Control (CDC) %D 2018 %G eng %I IEEE %T Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees