SESSION P-15: Hybrid and Discrete Event Systems
7/13/26, 2:00 PM
-
7/13/26, 4:00 PM
(Europe/Rome)
(2 hours)
SESSION CHAIRS: Martijn Goorden & Francesco Basile
Paper ID | Title | Authors | |
707 | Diagnosability Verification in Petri Nets under Unknown Initial Marking | Yushan Li, Shaopeng Hu*, Zhiwu Li (China) | |
804 | Detecting Unforeseen Behaviors During Health Monitoring of Hybrid Systems | Leonie Hatte*, Rayen Hamadi, Elodie Chanthery, Pauline Ribot (France) | |
118 | Decomposition-Based Supervisory Control Applied to an Industrial Waterway Lock | Martijn Goorden, Michel Reniers* (Netherlands) | |
516 | Dynamic Secret Protection in Discrete Event Systems Via Reinforcement Learning | Jie Ren, Ruotian Liu, Agostino Marcello Mangini, Maria Pia Fanti* (Italy) | |
184 | New Sampled Data Observer for Class of Nonlinear Hybrid Systems | Fatima Bassot*, Zianide Ziani Salim, Vincent Van Assche, Tarek Ahmed Ali, Eric Magarotto (Algeria) | |
332 | A Model-Based Approach to the Optimization of an Emergency Department | Francesco Basile, Enrica Calce*, Maria Romano, Francesco Amato, Rita Granata, Alfonso Maria Ponsiglione (Italy) | |
421 | A Methodological Framework for Event Signal Reconstruction in Net Condition/Event Systems | Zhenglong Han, Jiafeng Zhang*, Kamel Barkaoui (China) |