Hyper Symbolic Observation Graph to Enforce Opacity of Discrete Event Systems using Supervisory Control.

Nour Elhouda Souid, Kais Klai, Chiheb Ameur Abid, Samir Ben Ahmed

Browse the full CoDIT paper archive.