Pages that link to "Item:Q2407162"
From MaRDI portal
The following pages link to Decidability of opacity verification problems in labeled Petri net systems (Q2407162):
Displaying 13 items.
- Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (Q1716666) (← links)
- Deciding detectability for labeled Petri nets (Q1737932) (← links)
- Current-state opacity enforcement in discrete event systems under incomparable observations (Q1788686) (← links)
- Current-state opacity modelling and verification in partially observed Petri nets (Q1987252) (← links)
- Performance safety enforcement in strongly connected timed event graphs (Q2021327) (← links)
- Opacity of networked discrete event systems (Q2053901) (← links)
- Optimization-based assessment of initial-state opacity in Petri nets (Q2089626) (← links)
- Information control in networked discrete event systems and its application to battery management systems (Q2197580) (← links)
- Performance safety enforcement in stochastic event graphs against boost and slow attacks (Q2665315) (← links)
- Compositional synthesis of opacity-preserving finite abstractions for interconnected systems (Q2665387) (← 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)
- Enforcing opacity by insertion functions under multiple energy constraints (Q6198145) (← links)
