Pages that link to "Item:Q2063098"

The following pages link to Comparing the notions of opacity for discrete-event systems (Q2063098):

Displaying 24 items.

• Comparative analysis of related notions of opacity in centralized and coordinated architectures (Q373013) (← links)
• Synthesis of opaque systems with static and dynamic masks (Q453510) (← links)
• Opacity of discrete event systems and its applications (Q716123) (← links)
• Enforcement and validation (at runtime) of various notions of opacity (Q896497) (← links)
• Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (Q1716666) (← links)
• Opacity for linear constraint Markov chains (Q1745942) (← links)
• Probabilistic system opacity in discrete event systems (Q1788695) (← links)
• Opacity of networked discrete event systems (Q2053901) (← 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)
• Information control in networked discrete event systems and its application to battery management systems (Q2197580) (← links)
• Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers'' (Q2208612) (← 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)
• Current-state opacity and initial-state opacity of modular discrete event systems (Q5056544) (← links)
• (Q5209327) (← links)
• (Q5319351) (← links)
• Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems (Q6093198) (← 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)
• Sensor deception attacks against security in supervisory control systems (Q6537285) (← links)