Pages that link to "Item:Q2407182"
From MaRDI portal
The following pages link to A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers (Q2407182):
Displayed 24 items.
- \(k\)-memory-embedded insertion mechanism for opacity enforcement (Q826781) (← links)
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (Q1716666) (← links)
- Enforcement of opacity by public and private insertion functions (Q1797032) (← links)
- Opacity of networked discrete event systems (Q2053901) (← links)
- Verification of approximate opacity for switched systems: a compositional approach (Q2060871) (← links)
- Comparing the notions of opacity for discrete-event systems (Q2063098) (← 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)
- Enforcement for infinite-step opacity and K-step opacity via insertion mechanism (Q2125498) (← links)
- Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets (Q2125506) (← links)
- A framework for current-state opacity under dynamic information release mechanism (Q2125535) (← links)
- Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers'' (Q2208612) (← links)
- Authors' reply to ``Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers'''' (Q2663851) (← links)
- An improved approach for verifying delayed detectability of discrete-event systems (Q2663854) (← links)
- Initial-state detectability and initial-state opacity of unambiguous weighted automata (Q2664211) (← 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)
- Current-state opacity and initial-state opacity of modular discrete event systems (Q5056544) (← links)
- State-based opacity of labeled real-time automata (Q6122597) (← links)
- Active opacity of discrete-event systems (Q6134222) (← links)
- Matrix approach for verification of opacity of partially observed discrete event systems (Q6135550) (← 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)
