3 papers
eess.SY2026
A Luenberger Observer for P-Time Event Graphs
Dominik Tirpák, Davide Zorzenon, Jörg Raisch
P-Time Event Graphs (P-TEGs) are discrete event systems able to model synchronization and delay phenomena. They extend the modeling power of Timed Event Graphs (TEGs) by including…
math.OC2025
Controlled Invariance in Fully Actuated Max-plus Linear Systems with Precedence Semimodules
Davide Zorzenon, Jörg Raisch
Given a max-plus linear system and a semimodule, the problem of computing the maximal controlled invariant subsemimodule is still open to this day. In this paper, we consider this…
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…