Login / Signup
Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems.
Bo Wu
Jin Dai
Hai Lin
Published in:
CoRR (2018)
Keyphrases
</>
discrete event systems
petri net
complex systems
telecommunication networks
failure diagnosis
model based diagnosis
multi agent
discrete event
timed petri nets
temporal constraints
search algorithm
cooperative
special case
data streams
global consistency
functional programs
reinforcement learning