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

• Main Authors: Tai, Ruochen, Lin, Liyong, Zhu, Yuting, Su, Rong
• 其他作者: School of Electrical and Electronic Engineering
• 格式: Article
• 語言: English
• 出版: 2023
• 主題: Engineering::Electrical and electronic engineering; Supervisory Control; Opacity Enforcement
• 在線閱讀: https://hdl.handle.net/10356/170570
• 機構: 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...