Supervisory Control for Opacity
From MaRDI portal
Publication:4978803
DOI10.1109/TAC.2010.2042008zbMath1368.93372OpenAlexW2064886960MaRDI QIDQ4978803
Jérémy Dubreil, Hervé Marchand, Philippe Darondeau
Publication date: 25 August 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2010.2042008
Related Items (32)
A framework for current-state opacity under dynamic information release mechanism ⋮ Comparative analysis of related notions of opacity in centralized and coordinated architectures ⋮ Decidability of opacity verification problems in labeled Petri net systems ⋮ A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers ⋮ Supervisor localization of discrete-event systems under partial observation ⋮ A general language-based framework for specifying and verifying notions of opacity ⋮ Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder ⋮ Enforcement and validation (at runtime) of various notions of opacity ⋮ Strong current-state and initial-state opacity of discrete-event systems ⋮ Active opacity of discrete-event systems ⋮ Online prognosis of stochastic discrete event systems with guaranteed performance bound ⋮ Information control in networked discrete event systems and its application to battery management systems ⋮ On almost-sure intention deception planning that exploits imperfect observers ⋮ Enforcing opacity by insertion functions under multiple energy constraints ⋮ Synthesis of opaque systems with static and dynamic masks ⋮ Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems ⋮ Probabilistic opacity for Markov decision processes ⋮ Synthesis of insertion functions for enforcement of opacity security properties ⋮ State Estimation and Fault Detection Using Petri Nets ⋮ Synthesis of obfuscation policies to ensure privacy and utility ⋮ Current-state opacity enforcement in discrete event systems under incomparable observations ⋮ Detectability of networked discrete event systems ⋮ Enforcement of opacity by public and private insertion functions ⋮ Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations ⋮ Supervisory control of discrete-event systems under attacks ⋮ Opacity of networked discrete event systems ⋮ Logical vs. behavioural specifications ⋮ Enhancement of opacity for distributed state estimation in cyber-physical systems ⋮ Enforcing current-state opacity through shuffle and deletions of event observations ⋮ Dynamic Observers for the Synthesis of Opaque Systems ⋮ Using subobservers to synthesize opacity-enforcing supervisors ⋮ Enforcing opacity of regular predicates on modal transition systems
This page was built for publication: Supervisory Control for Opacity
