Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
From MaRDI portal
Publication:5211196
DOI10.1109/TAC.2019.2897553zbMath1482.93382MaRDI QIDQ5211196
Xiang Yin, Stéphane Lafortune, Yiding Ji
Publication date: 28 January 2020
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
68P25: Data encryption (aspects in computer science)
93C65: Discrete event control/observation systems
Related Items
\(k\)-memory-embedded insertion mechanism for opacity enforcement, Performance safety enforcement in strongly connected timed event graphs, Opacity of networked discrete event systems, Enforcing current-state opacity through shuffle and deletions of event observations, Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers, Enforcement for infinite-step opacity and K-step opacity via insertion mechanism, Discrete-event systems subject to unknown sensor attacks, Performance safety enforcement in stochastic event graphs against boost and slow attacks