Sign in
Supervisor Localization of Timed Discrete-Event Systems under Partial Observation and Communication Delay.
Renyuan Zhang
Kai Cai
Published in:
CoRR (2016)
Keyphrases
</>
discrete event systems
petri net
discrete event
failure diagnosis
timed petri nets
dynamic systems
telecommunication networks
simulation model
model based diagnosis
complex systems
dynamical systems
localization algorithm
markov chain
high level
model checking
timed automata
particle filter