Login / Signup
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
Published in:
CoDIT (2022)
Keyphrases
</>
discrete event systems
discrete event
supervisory control
dynamic systems
simulation model
petri net
complex systems
model based diagnosis
telecommunication networks
data acquisition
dynamical systems
power grid
real time
temporal constraints