Supervisory Control for Opacity

DOI10.1109/TAC.2010.2042008zbMath1368.93372MaRDI 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

93C65: Discrete event control/observation systems

Related Items

Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder, Active opacity of discrete-event systems, Online prognosis of stochastic discrete event systems with guaranteed performance bound, On almost-sure intention deception planning that exploits imperfect observers, Enforcing opacity by insertion functions under multiple energy constraints, Comparative analysis of related notions of opacity in centralized and coordinated architectures, Synthesis of opaque systems with static and dynamic masks, Probabilistic opacity for Markov decision processes, Synthesis of insertion functions for enforcement of opacity security properties, Synthesis of obfuscation policies to ensure privacy and utility, Enforcement and validation (at runtime) of various notions of opacity, Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems, 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, Opacity of networked discrete event systems, Enhancement of opacity for distributed state estimation in cyber-physical systems, Enforcing current-state opacity through shuffle and deletions of event observations, Using subobservers to synthesize opacity-enforcing supervisors, A framework for current-state opacity under dynamic information release mechanism, Information control in networked discrete event systems and its application to battery management systems, Supervisory control of discrete-event systems under attacks, Logical vs. behavioural specifications, Enforcing opacity of regular predicates on modal transition systems, 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, Strong current-state and initial-state opacity of discrete-event systems, State Estimation and Fault Detection Using Petri Nets, Dynamic Observers for the Synthesis of Opaque Systems