Login / Signup
Modular Synthesis of Maximally Permissive Opacity-Enforcing Supervisors for Discrete Event Systems.
Shigemasa Takai
Yuta Watanabe
Published in:
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2011)
Keyphrases
</>
discrete event systems
petri net
telecommunication networks
complex systems
discrete event
failure diagnosis
model based diagnosis
timed petri nets
temporal constraints
special case
simulation model
dynamic systems
high level
foreground and background
modular structure