Pages that link to "Item:Q2407162"

The following pages link to Decidability of opacity verification problems in labeled Petri net systems (Q2407162):

Displaying 20 items.

• The complexity of diagnosability and opacity verification for Petri nets (Q1662539) (← links)
• 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)
• Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets (Q2125506) (← 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)
• Modelling opacity using Petri nets (Q2849576) (← links)
• Deciding Selective Declassification of Petri Nets (Q2894328) (← links)
• The Complexity of Diagnosability and Opacity Verification for Petri Nets (Q4686521) (← links)
• Current-state opacity and initial-state opacity of modular discrete event systems (Q5056544) (← links)
• (Q5209327) (← links)
• State-based opacity of labeled real-time automata (Q6122597) (← links)
• Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques (Q6160740) (← links)
• Enforcing opacity by insertion functions under multiple energy constraints (Q6198145) (← links)