-
SESSION P-12: Control Theory
Done
-
KEYNOTE 4
Done
-
SESSION V-11: Electronic System Design and Wireless Communications
Done
-
SESSION V-21: Scheduling Optimization
Done
-
SESSION P-04: Advanced Control Systems
Done
-
SESSION P-49: Signal Processing
Done
-
SESSION V-09: Control Theory
Done
-
SESSION V-19: Applied Optimal Control
Done
-
SESSION P-34: Graphs and Networks
Done
-
SESSION V-15: Learning Systems in Engineering
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) |