Enforcing opacity by insertion functions under multiple energy constraints

• Published in: Automatica (Oxford) Vol. 108; p. 108476
• Main Authors: Ji, Yiding, Yin, Xiang, Lafortune, Stéphane
• Format: Journal Article
• Language: English
• Published: Elsevier Ltd 01.10.2019
• Subjects: Discrete event systems; Insertion function; Opacity enforcement; Partial observation; Quantitative games; Quantitative games; Discrete event systems; Insertion function; Opacity enforcement; Partial observation

This paper investigates the enforcement of opacity by insertion functions subject to multiple quantitative constraints capturing resource or energy limitations. There is a malicious intruder attempting to infer secrets of the system from its observations. To prevent the disclosure of secrets, the in...