Synthesis of maximally permissive non-blocking supervisors for partially observed discrete event systems.

Xiang Yin Stéphane Lafortune

Published in: CDC (2014)

Keyphrases

partially observed
discrete event systems
petri net
complex systems
telecommunication networks
model based diagnosis
discrete event
failure diagnosis
timed petri nets
temporal constraints
texture synthesis
record linkage
simulation model
dynamic systems
expert systems
dynamical systems