CoDIT 2023
-
Session VS-01: Fault Detection and Diagnosis
Done
-
Session S-18: Linear Systems
Done
-
Session S-16: Energy Control
Done
-
Session S-45: Applied Intelligent Approaches
Done
-
Session S-50: Computer Science with applications
Done
-
Session VS-04: Operational Research and Scheduling
Done
-
Session S-05: Neural Networks in Control
Done
-
Session VS-14: Nonlinear Systems
Done
-
Session S-46: Nonlinear Systems
Done
-
Session VS-18: Transport Optimization
Done
Session S-34: Discrete Event Systems
04/07/2023, 16:15
-
04/07/2023, 18:15
(Africa/Tunis)
(2 hours)
Session chair(s): Session chair(s): Dimitri Lefebvre & Carla Seatzu
|
Paper ID
|
Title
|
Authors
|
|
271
|
Mode
Recognition in Attack Graphs Based on Conditional State Probability
|
Omar
Amri, Dimitri Lefebvre* (France)
|
|
277
|
Energy
Aware Strategy for Discrete Event Systems Using Inhibitor P-Time Petri Nets and
Deep Reinforcement Learning
|
Patrice
Bonhomme, Clément Lecomte* (France)
|
|
191
|
PLCs
Training in Hybrid Mode Using the PLC3000 Solution: Feedback and Analysis from
Students
|
Eric
Duviella*, Cedrick Beler, Noury bouraqadi (France)
|
|
500
|
Enforcing
the Opacity of Modular Discrete Event Systems using Supervisory Control
|
Nour
Elhouda SOUID*, Kaïs KLAI, Chiheb Ameur Abid, Samir BEN AHMED (France)
|
|
547
|
Surgical
Scheduling Based on Timed Coulored Petri Nets and (max, +) Algebra
|
Oumaima
BOULKHOUKH*, El houcine Chakir El Alaoui, Ahmed Nait-Sidi-Moh (France)
|
|
655
|
Verification
of Current State Opacity Using Switching Output Automata
|
Tianyu
Liu*, Carla Seatzu, Alessandro Giua (Italy)
|
|
50
|
Representation
of Time Petri Nets Using Interval Weighted Automata
|
Berangere
Daviaud*, Sébastien LAHAYE, Mehdi Lhommeau, Jan Komenda (France)
|