Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems.

Bo Wu Jin Dai Hai Lin

Published in: ACC (2018)

Keyphrases

discrete event systems
petri net
model based diagnosis
failure diagnosis
aggregation functions
complex systems
multi agent
functional programs
telecommunication networks
timed petri nets
discrete event
power consumption
peer to peer
global consistency
distributed systems
response time
cooperative
database