Nour Elhouda Souid

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 6

Top Topics

Dynamical Systems

Model Based Diagnosis

Top Venues

Publications

Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed
Enforcing the Opacity of Modular Discrete Event Systems Using Supervisory Control. CoDIT (2023)
Ikram Garfatta, Nour Elhouda Souid, Kaïs Klai
Towards Formal Verification of Node RED-Based IoT Applications. VECoS (2023)
Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed
At Design-Time Approach for Supervisory Control of Opacity. CoopIS (2022)
Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed
Optimal Supervisory Control of Opacity for Modular Systems. ISPA/BDCloud/SocialCom/SustainCom (2022)
Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed
Hyper Symbolic Observation Graph to Enforce Opacity of Discrete Event Systems using Supervisory Control. CoDIT (2022)
Nour Elhouda Souid, Kais Klai
A Novel Approach for Supervisor Synthesis to Enforce Opacity of Discrete Event Systems. ICICS (2) (2021)