Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
From MaRDI portal
Publication:5352804
Cited in
(25)- Using subobservers to synthesize opacity-enforcing supervisors
- Opacity of networked discrete event systems
- Online prognosis of stochastic discrete event systems with guaranteed performance bound
- Enforcing opacity of regular predicates on modal transition systems
- Games with Opacity Condition
- 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
- Strong current-state and initial-state opacity of discrete-event systems
- Supervisory control of discrete-event systems under attacks
- Verification and enforcement of current-state opacity based on a state space approach
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
- Synthesis of insertion functions for enforcement of opacity security properties
- Synthesis of obfuscation policies to ensure privacy and utility
- Current-state opacity enforcement in discrete event systems under incomparable observations
- Enforcement and validation (at runtime) of various notions of opacity
- Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems
- Enhancement of opacity for distributed state estimation in cyber-physical systems
- Verification and enforcement of strong infinite- and k-step opacity using state recognizers
- Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder
- Enforcement of opacity by public and private insertion functions
- On almost-sure intention deception planning that exploits imperfect observers
- Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures
- Active opacity of discrete-event systems
- Optimization-based assessment of initial-state opacity in Petri nets
- Sensor deception attacks against security in supervisory control systems
This page was built for publication: Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5352804)
