TY - GEN
T1 - Stationary regimes of piecewise linear dynamical systems with priorities
AU - Allamigeon, Xavier
AU - Capetillo, Pascal
AU - Gaubert, Stéphane
N1 - Publisher Copyright:
© 2025 Copyright held by the owner/author(s).
PY - 2025/5/21
Y1 - 2025/5/21
N2 - Dynamical systems governed by priority rules appear in the modeling of emergency organizations and road traffic. These systems can be modeled by piecewise linear time-delay dynamics, specifically using Petri nets with priority rules. A central question is to show the existence of stationary regimes (i.e., steady state solutions)-taking the form of invariant half-lines-from which essential performance indicators like the throughput and congestion phases can be derived. Our primary result proves the existence of stationary solutions under structural conditions involving the spectrum of the linear parts within the piecewise linear dynamics. This extends to a broader class of systems a fundamental theorem of Kohlberg (1980) dealing with nonexpansive dynamics. The proof of our result relies on topological degree theory and the notion of “Blackwell optimality” from the theory of Markov decision processes. Finally, we validate our findings by demonstrating that these structural conditions hold for a wide range of dynamics, especially those stemming from Petri nets with priority rules. This is illustrated on real-world examples from road traffic management and emergency call center operations.
AB - Dynamical systems governed by priority rules appear in the modeling of emergency organizations and road traffic. These systems can be modeled by piecewise linear time-delay dynamics, specifically using Petri nets with priority rules. A central question is to show the existence of stationary regimes (i.e., steady state solutions)-taking the form of invariant half-lines-from which essential performance indicators like the throughput and congestion phases can be derived. Our primary result proves the existence of stationary solutions under structural conditions involving the spectrum of the linear parts within the piecewise linear dynamics. This extends to a broader class of systems a fundamental theorem of Kohlberg (1980) dealing with nonexpansive dynamics. The proof of our result relies on topological degree theory and the notion of “Blackwell optimality” from the theory of Markov decision processes. Finally, we validate our findings by demonstrating that these structural conditions hold for a wide range of dynamics, especially those stemming from Petri nets with priority rules. This is illustrated on real-world examples from road traffic management and emergency call center operations.
KW - Blackwell optimality
KW - Emergency organizations
KW - Markov decision processes
KW - Piecewise linear dynamics
KW - Topological degree theory
UR - https://www.scopus.com/pages/publications/105007534814
U2 - 10.1145/3716863.3718053
DO - 10.1145/3716863.3718053
M3 - Conference contribution
AN - SCOPUS:105007534814
T3 - HSCC 2025 - Proceedings of the 28th International Conference on Hybrid Systems: Computation and Control, part of CPS-IoT Week
BT - HSCC 2025 - Proceedings of the 28th International Conference on Hybrid Systems
PB - Association for Computing Machinery, Inc
T2 - 28th International Conference on Hybrid Systems: Computation and Control, HSCC 2025, held as part of the 18th Cyber-Physical Systems and Internet-of-Things Week, CPS-IoT Week 2025
Y2 - 7 May 2025 through 9 May 2025
ER -