17 citations · 17 across the 3 of their papers we have counts for
3 papers
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…
math.OC2013★ 17 cited
Duality and interval analysis over idempotent semirings
T. Brunsch, L. Hardouin, J. Raisch +1
In this paper semirings with an idempotent addition are considered. These algebraic structures are endowed with a partial order. This allows to consider residuated maps to solve sy…