A Novel Approach for Supervisor Synthesis to Enforce Opacity of Discrete Event Systems.

Nour Elhouda Souid Kais Klai

Published in: ICICS (2) (2021)

Keyphrases

discrete event systems
petri net
complex systems
discrete event
telecommunication networks
model based diagnosis
timed petri nets
failure diagnosis
program synthesis
temporal constraints
dynamic systems
databases
multi agent
simulation model
dynamical systems
data model
multi agent systems