Enforcing the Opacity of Modular Discrete Event Systems Using Supervisory Control.

Nour Elhouda Souid Kais Klai Chiheb Ameur Abid Samir Ben Ahmed

Published in: CoDIT (2023)

Keyphrases

supervisory control
discrete event systems
discrete event
dynamic systems
simulation model
dynamical systems
data acquisition
complex systems
model based diagnosis
telecommunication networks
real time
cooperative
data analysis
dynamic programming
constraint satisfaction