Pages that link to "Item:Q716123"
From MaRDI portal
The following pages link to Opacity of discrete event systems and its applications (Q716123):
Displaying 40 items.
- Comparative analysis of related notions of opacity in centralized and coordinated architectures (Q373013) (← links)
- Synthesis of insertion functions for enforcement of opacity security properties (Q458746) (← links)
- \(k\)-memory-embedded insertion mechanism for opacity enforcement (Q826781) (← links)
- \(N\)-diagnosability for active on-line diagnosis in discrete event systems (Q1679101) (← links)
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (Q1716666) (← links)
- Trajectory detectability of discrete-event systems (Q1729041) (← links)
- Complexity of detectability, opacity and A-diagnosability for modular discrete event systems (Q1737732) (← 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)
- Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems (Q2003816) (← links)
- Analysis of strong and strong periodic detectability of bounded labeled Petri nets (Q2060875) (← links)
- Comparing the notions of opacity for discrete-event systems (Q2063098) (← 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)
- Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers (Q2065174) (← links)
- On verification of D-detectability for discrete event systems (Q2065231) (← links)
- Usability aware secret protection with minimum cost (Q2074757) (← links)
- Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures (Q2081818) (← links)
- Using subobservers to synthesize opacity-enforcing supervisors (Q2106417) (← links)
- Enforcement for infinite-step opacity and K-step opacity via insertion mechanism (Q2125498) (← 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)
- Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers (Q2197587) (← 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)
- Compositional synthesis of opacity-preserving finite abstractions for interconnected systems (Q2665387) (← 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)
- Relative predictability of failure event occurrences and its opacity-based test algorithm (Q4967673) (← links)
- (Q4989409) (← links)
- Quantifying opacity (Q5740626) (← links)
- Networked opacity for finite state machine with bounded communication delays (Q6071273) (← links)
- Verification and enforcement of current-state opacity based on a state space approach (Q6099923) (← links)
- Secret inference and attacktability analysis of discrete event systems (Q6122243) (← links)
- State-based opacity of labeled real-time automata (Q6122597) (← links)
- Game current-state opacity formulation in probabilistic resource automata (Q6125209) (← links)
- Verifying weak and strong \(k\)-step opacity in discrete-event systems (Q6165326) (← links)
- Enforcing opacity by insertion functions under multiple energy constraints (Q6198145) (← links)