Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems.

Bo Wu Zhiyu Liu Hai Lin

Published in: ACC (2018)

Keyphrases

discrete event systems
timed petri nets
petri net
discrete event
complex systems
telecommunication networks
model based diagnosis
failure diagnosis
temporal constraints
image enhancement
image processing
single parameter
databases
dynamical systems
database design
relational databases
dynamic systems
low level