Simulation and Bisimulation over Multiple Time Scales in a Behavioral Setting
Systems and Control
2014-02-17 v1
Abstract
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 comparison
Cite
@article{arxiv.1402.3484,
title = {Simulation and Bisimulation over Multiple Time Scales in a Behavioral Setting},
author = {Anne-Kathrin Schmuck and Jörg Raisch},
journal= {arXiv preprint arXiv:1402.3484},
year = {2014}
}
Comments
Submitted to 22nd Mediterranean Conference on Control and Automation