Supervisor localization of timed discrete-event systems under partial observation.

Renyuan Zhang Kai Cai

Published in: CDC (2016)

Keyphrases

discrete event systems
petri net
discrete event
dynamic systems
timed petri nets
failure diagnosis
model based diagnosis
telecommunication networks
complex systems
simulation model
localization algorithm
databases
management system
dynamical systems
mathematical modeling