Supervisory Control for Opacity
From MaRDI portal
Cited in
(38)- 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
- 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
- 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
- Sensor deception attacks against security in supervisory control systems
- Synthesis with privacy against an observer
- Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems
- Synthesis of obfuscation policies to ensure privacy and utility
- Optimal control strategy for k-level opaque systems based on the optimization method of multi-selection problems at each stage
- Synthesis with privacy against an observer
- Positional-player games
- Enforcement and validation (at runtime) of various notions of opacity
This page was built for publication: Supervisory Control for Opacity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4978803)
