A new approach for synthesizing opacity-enforcing supervisors for partially-observed discrete-event systems.

Xiang Yin Stéphane Lafortune

Published in: ACC (2015)

Keyphrases

partially observed
discrete event systems
petri net
timed petri nets
complex systems
model based diagnosis
telecommunication networks
discrete event
failure diagnosis
temporal constraints
global consistency
dynamic systems
database
low level
object oriented