Pages that link to "Item:Q1797108"
From MaRDI portal
The following pages link to On-line verification of current-state opacity by Petri nets and integer linear programming (Q1797108):
Displaying 17 items.
- Current-state opacity modelling and verification in partially observed Petri nets (Q1987252) (← links)
- Opacity of networked discrete event systems (Q2053901) (← links)
- Enforcing current-state opacity through shuffle and deletions of event observations (Q2065172) (← 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)
- Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets (Q2125506) (← links)
- Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers (Q2197587) (← links)
- Deadlock analysis and control using Petri net decomposition techniques (Q2212081) (← links)
- Decidability of opacity verification problems in labeled Petri net systems (Q2407162) (← links)
- Strong current-state and initial-state opacity of discrete-event systems (Q2682301) (← links)
- Modelling opacity using Petri nets (Q2849576) (← links)
- Current-state opacity and initial-state opacity of modular discrete event systems (Q5056544) (← links)
- Verification and enforcement of current-state opacity based on a state space approach (Q6099923) (← links)
- Active opacity of discrete-event systems (Q6134222) (← links)
- Matrix approach for verification of opacity of partially observed discrete event systems (Q6135550) (← links)
- Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques (Q6160740) (← links)
- Quantifying opacity of discrete event systems modeled with probabilistic Petri nets (Q6539394) (← links)
