-
Orange & Huawei OPEN Workshop: Optimization Problems RElated to Network
Done
-
SESSION V-05: Advanced Control Applications
Done
-
SESSION V-01: Applied and Multi-Objective Optimization
Done
-
SESSION V-09: Control Theory
Done
-
SESSION P-12: Control Theory
Done
-
SESSION P-38: Robotics (Part 2)
Done
-
SESSION V-11: Electronic System Design and Wireless Communications
Done
-
KEYNOTE 1
Done
-
SESSION P-30: Predictive Control
Done
-
SESSION V-22: Smart Systems and Technologies
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) |