17 citations · 17 across the 3 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2025
Infinite precedence graphs for consistency verification in P-time event graphs
Davide Zorzenon, Jörg Raisch
Precedence constraints are inequalities used to model time dependencies. In 1958, Gallai proved that a finite system of precedence constraints admits solutions if and only if the c…
eess.SY2014
Simulation and Bisimulation over Multiple Time Scales in a Behavioral Setting
Anne-Kathrin Schmuck, Jörg Raisch
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 proce…