Supervisory Control for Opacity

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

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

Related Items

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