Event CoDIT 2025
starts on
Jul 15, 2025, 8:00:00 AM
(Europe/Zagreb)
SESSION P-13: Discrete Event Systems
7/15/25, 2:20 PM
-
7/15/25, 4:20 PM
(Europe/Zagreb)
(2 hours)
SESSION CHAIR(S):
| Paper ID | Title | Authors |
| 242 | Extending Decision-Making Policies in Partially Observable Environments for Active Perception | Tarik Selimović*, Marijana Peti, Frano Petric, Stjepan Bogdan (Bosnia and Herzegovina) |
| 279 | Control strategies for meeting time and capacity constraints in manufacturing plants based on discrete event systems | Syrine Bouazza*, Said Amari (France) |
| 607 | Verification of Trajectory-Dependent Opacity Properties Via Fault Diagnosis | Virginia Maria Alterio, Tianyu Liu*, Carla Seatzu, Alessandro Giua (Italy) |
| 160 | Model Checking PLC Programs: Enhancing Formalization for Scalability | Jessica RAVAKAMBININTSOA*, Emil DUMITRESCU, Eric Zamai, Denis CHALON (France) |
| 421 | Timed Fault Diagnosis in Switching Output Automata | Tianyu Liu*, Carla Seatzu, Alessandro Giua (Italy) |
| 554 | Synchronizing Sequence Computation Under Forbidden Event Constraints | Khalid Hamada, Rabah Ammour*, Isabel Demongodin (France) |
| 51 | Scheduling of Flexible Manufacturing Systems Based on Basis Reachability Graphs | Zhou He*, Ning Li, Xiang Yin (China) |