-
SESSION P-14: Robotics (Part 1)
Done
-
SESSION P-20: Scheduling and Optimization
Done
-
SESSION P-27: Special Session on "Decision making for sustainable transportation systems"
Done
-
SESSION P-33: Linear Systems Control
Done
-
SESSION P-52: Special Session on"Applied AI for Emerging Autonomous Systems: Innovations and Challenges"
Done
-
SESSION V-19: Applied Optimal Control
Done
-
SESSION P-49: Signal Processing
Done
-
SESSION V-01: Applied and Multi-Objective Optimization
Done
-
SESSION P-05: Cloud Computing and Wireless Communications
Done
-
SESSION P-10: Fault Detection and Supervision
Done
SESSION P-13: Discrete Event Systems
7/15/25, 2:00 PM
-
7/15/25, 4:20 PM
(Europe/Zagreb)
(2 hours 20 minutes)
SESSION CHAIR(S): Dimiti Lefebvre & Maria Pia Fanti
| 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) |