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

DOI10.1016/j.automatica.2023.110860zbMath1519.93008arXiv2104.14919MaRDI QIDQ6100443

Liyong Lin, Rong Su, Ruochen Tai, Yu-Ting Zhu

Publication date: 22 June 2023

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2104.14919

zbMATH Keywords

supervisory controlsupervisorprivacy-preservingopacity enforcementdynamic maskedit function

Mathematics Subject Classification ID

Hierarchical systems (93A13) Synthesis problems (93B50) Networked control (93B70)

Cites Work

• Unnamed Item
• Synthesis of opaque systems with static and dynamic masks
• Synthesis of insertion functions for enforcement of opacity security properties
• Enforcement and validation (at runtime) of various notions of opacity
• Enforcement of opacity by public and private insertion functions
• Enforcing opacity of regular predicates on modal transition systems
• Undecidable problems of decentralized observation and control on regular languages
• Undecidability in decentralized supervision
• On Distributed and Parameterized Supervisor Synthesis Problems
• Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers
• Supervisory Control for Opacity
• Encrypted Control for Networked Systems: An Illustrative Introduction and Current Challenges
• Synthesis of Dynamic Masks for Infinite-Step Opacity
• Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
• Secure and Private Implementation of Dynamic Controllers Using Semihomomorphic Encryption
• Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
• Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
• Quantifying opacity