Privacy-preserving co-synthesis against sensor–actuator eavesdropping intruder

• Main Authors: Tai, Ruochen, Lin, Liyong, Zhu, Yuting, Su, Rong
• Other Authors: School of Electrical and Electronic Engineering
• Format: Article
• Language: English
• Published: 2023
• Subjects: Engineering::Electrical and electronic engineering; Supervisory Control; Opacity Enforcement
• Online Access: https://hdl.handle.net/10356/170570
• Institution: Nanyang Technological University

In this work, we investigate the problem of privacy-preserving supervisory control against an external passive intruder via co-synthesis of a dynamic mask, an edit function, and a supervisor. We attempt to achieve the following goals: (1) the system secret cannot be inferred by the intruder, i.e., o...