2014/02/14 by Anne-Kathrin Schmuck, Jörg Raisch, Schmuck, Anne-Kathrin +1
Computer Science · Decision Sciences · #FOS: Electrical engineering #Formal Methods in Verification #Petri Nets in System Modeling #Simulation Techniques and Applications #Systems and Control (eess.SY) #electronic engineering #information engineering
paper · pdf · doi:10.48550/arxiv.1402.3484
openalex publication_date 2014/02/14 · openalex created_date 2025/10/24 · openalex updated_date 2026/07/28
This paper introduces a new behavioral system model with distinct external\nand internal signals possibly evolving on different time scales. This allows to\ncapture abstraction processes or signal aggregation in the context of control\nand verification of large scale systems. For this new system model different\nnotions of simulation and bisimulation are derived, ensuring that they are,\nrespectively, preorders and equivalence relations for the system class under\nconsideration. These relations can capture a wide selection of similarity\nnotions available in the literature. This paper therefore provides a suitable\nframework for their comparison\n