Pages that link to "Item:Q5352804"
From MaRDI portal
The following pages link to Opacity-Enforcing Supervisory Strategies via State Estimator Constructions (Q5352804):
Displayed 23 items.
- 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)
- Current-state opacity enforcement in discrete event systems under incomparable observations (Q1788686) (← links)
- Enforcement of opacity by public and private insertion functions (Q1797032) (← links)
- Opacity of networked discrete event systems (Q2053901) (← links)
- Enhancement of opacity for distributed state estimation in cyber-physical systems (Q2063862) (← links)
- Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers (Q2065174) (← links)
- Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures (Q2081818) (← links)
- Optimization-based assessment of initial-state opacity in Petri nets (Q2089626) (← links)
- Using subobservers to synthesize opacity-enforcing supervisors (Q2106417) (← links)
- An optimization-based approach to assess non-interference in labeled and bounded Petri net systems (Q2123401) (← links)
- Enforcement for infinite-step opacity and K-step opacity via insertion mechanism (Q2125498) (← links)
- Supervisory control of discrete-event systems under attacks (Q2292112) (← links)
- Enforcing opacity of regular predicates on modal transition systems (Q2348369) (← links)
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers (Q2407182) (← links)
- Strong current-state and initial-state opacity of discrete-event systems (Q2682301) (← links)
- Games with Opacity Condition (Q3646261) (← links)
- Verification and enforcement of current-state opacity based on a state space approach (Q6099923) (← 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)