TY - RPRT TI - Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems AU - Bo Wu AU - Jin Dai AU - Hai Lin PY - 2018 UR - https://arxiv.org/abs/1802.05728 ID - 1802.05728 ER -