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…
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…
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…