An Approach for Supervisor Reduction of Discrete-Event Systems.

Huimin Zhang Lei Feng Wu Xie Feng Yu

Published in: VECoS (2020)

Keyphrases

discrete event systems
petri net
complex systems
failure diagnosis
telecommunication networks
model based diagnosis
timed petri nets
discrete event
temporal constraints
databases
search algorithm
lower bound