This paper introduces a new behavioral system model with distinct external
and internal signals possibly evolving on different time scales. This allows to
capture abstraction processes or signal aggregation in the context of control
and verification of large scale systems. For this new system model different
notions of simulation and bisimulation are derived, ensuring that they are,
respectively, preorders and equivalence relations for the system class under
consideration. These relations can capture a wide selection of similarity
notions available in the literature. This paper therefore provides a suitable
framework for their comparisonComment: Submitted to 22nd Mediterranean Conference on Control and Automatio