Sign in
Supervisor Localization of Discrete-Event Systems with Infinite Behavior.
Renyuan Zhang
Kai Cai
Published in:
CoRR (2017)
Keyphrases
</>
discrete event systems
petri net
complex systems
telecommunication networks
model based diagnosis
discrete event
failure diagnosis
timed petri nets
state space
databases
temporal constraints
objective function
dynamic systems
constraint satisfaction
management system
localization algorithm
lower bound
database