-
SESSION P-12: Control Theory
Done
-
IEEE & IFAC WIE Activities
Done
-
SESSION P-05: Cloud Computing and Wireless Communications
Done
-
SESSION P-31: Special Session on"OptiQ – from (nonlinear) optics to quantum computing, simulation, visualization and image processing: on Earth and in space"
Done
-
SESSION P-06: Theoretical Control Approaches
Done
-
SESSION P-28: Energy Control with Applications
Done
-
SESSION V-17: Special Session on"Recent Advances in Explainable AI (XAI) for Smart Systems"
Done
-
SESSION P-02: Artificial Intelligence with Applications
Done
-
SESSION P-15: Special Session on"Technology Education Mentorship: Data Driven Models, Tools, Technologies, Practices and Challenges to Empower Teachers and Learners in Digital Age"
Done
-
SESSION P-21: Image Processing
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) |