Embedded Insertion Functions for Opacity Enforcement

DOI10.1109/TAC.2020.3037891MaRDI QIDQ4957708zbMATH OpenOpenAlexFDO

Authors Christoforos Keroglou, Stéphane Lafortune

Publication date 9 September 2021

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tac.2020.3037891

zbMATH Keywords

discrete event systemsfinite automataopacityprivacy

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

Cited in

(9)

• Enhancement of opacity for distributed state estimation in cyber-physical systems
• Optimization-based assessment of initial-state opacity in Petri nets
• An optimization-based approach to assess non-interference in labeled and bounded Petri net systems
• Enforcement for infinite-step opacity and K-step opacity via insertion mechanism
• Synthesis of insertion functions for enforcement of opacity security properties
• Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
• Opacity Enforcement via Attribute-Based Edit Functions in the Presence of an Intended Receiver
• Secret inference and attacktability analysis of discrete event systems
• Offline supervisory control synthesis: taxonomy and recent developments

This page was built for publication: Embedded Insertion Functions for Opacity Enforcement

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4957708)