Pages that link to "Item:Q1716666"
From MaRDI portal
The following pages link to Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (Q1716666):
Displaying 22 items.
- Performance safety enforcement in strongly connected timed event graphs (Q2021327) (← links)
- Opacity of networked discrete event systems (Q2053901) (← links)
- Verification of approximate opacity for switched systems: a compositional approach (Q2060871) (← 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)
- 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)
- Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers (Q2197587) (← links)
- A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers (Q2407182) (← links)
- Initial-state detectability and initial-state opacity of unambiguous weighted automata (Q2664211) (← links)
- Performance safety enforcement in stochastic event graphs against boost and slow attacks (Q2665315) (← links)
- Strong current-state and initial-state opacity of discrete-event systems (Q2682301) (← links)
- I-S detectability of partially-observed discrete event systems: a novel matrix-based method (Q2687822) (← links)
- Current-state opacity and initial-state opacity of modular discrete event systems (Q5056544) (← 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)
- Quantifying opacity of discrete event systems modeled with probabilistic Petri nets (Q6539394) (← links)
- Matrix approach to I-detectability of partially observed discrete event systems (Q6578823) (← links)
- Opacity of discrete-event systems under nondeterministic observation mechanism (Q6580966) (← links)
- Opacity enforcement in discrete event systems using differential privacy (Q6629243) (← links)
