TY  - RPRT
TI  - Privacy-Preserving Supervisory Control of Discrete-Event Systems via Co-Synthesis of Edit Function and Supervisor for Opacity Enforcement and Requirement Satisfaction
AU  - Ruochen Tai
AU  - Liyong Lin
AU  - Yuting Zhu
AU  - Rong Su
PY  - 2021
UR  - https://arxiv.org/abs/2104.04299
ID  - 2104.04299
ER  -