The following pages link to Supervisory Control for Opacity (Q4978803):
Displayed 32 items.
- Comparative analysis of related notions of opacity in centralized and coordinated architectures (Q373013) (← links)
- Synthesis of opaque systems with static and dynamic masks (Q453510) (← links)
- Probabilistic opacity for Markov decision processes (Q458386) (← links)
- Synthesis of insertion functions for enforcement of opacity security properties (Q458746) (← links)
- Synthesis of obfuscation policies to ensure privacy and utility (Q682359) (← links)
- Enforcement and validation (at runtime) of various notions of opacity (Q896497) (← links)
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (Q1716666) (← links)
- Current-state opacity enforcement in discrete event systems under incomparable observations (Q1788686) (← links)
- Detectability of networked discrete event systems (Q1790664) (← links)
- Enforcement of opacity by public and private insertion functions (Q1797032) (← links)
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations (Q1797083) (← links)
- Opacity of networked discrete event systems (Q2053901) (← links)
- Enhancement of opacity for distributed state estimation in cyber-physical systems (Q2063862) (← links)
- Enforcing current-state opacity through shuffle and deletions of event observations (Q2065172) (← links)
- Using subobservers to synthesize opacity-enforcing supervisors (Q2106417) (← links)
- A framework for current-state opacity under dynamic information release mechanism (Q2125535) (← links)
- Information control in networked discrete event systems and its application to battery management systems (Q2197580) (← links)
- Supervisory control of discrete-event systems under attacks (Q2292112) (← links)
- Logical vs. behavioural specifications (Q2304534) (← links)
- Enforcing opacity of regular predicates on modal transition systems (Q2348369) (← links)
- Decidability of opacity verification problems in labeled Petri net systems (Q2407162) (← links)
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers (Q2407182) (← links)
- Supervisor localization of discrete-event systems under partial observation (Q2409225) (← links)
- A general language-based framework for specifying and verifying notions of opacity (Q2673762) (← links)
- Strong current-state and initial-state opacity of discrete-event systems (Q2682301) (← links)
- State Estimation and Fault Detection Using Petri Nets (Q3011880) (← links)
- Dynamic Observers for the Synthesis of Opaque Systems (Q3648711) (← links)
- Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder (Q6100443) (← links)
- Active opacity of discrete-event systems (Q6134222) (← links)
- Online prognosis of stochastic discrete event systems with guaranteed performance bound (Q6136112) (← links)
- On almost-sure intention deception planning that exploits imperfect observers (Q6172038) (← links)
- Enforcing opacity by insertion functions under multiple energy constraints (Q6198145) (← links)