Pages that link to "Item:Q5352631"

The following pages link to Verification of State-Based Opacity Using Petri Nets (Q5352631):

Displaying 39 items.

• Deadlock and liveness characterization for a class of generalized Petri nets (Q780961) (← links)
• Current-state opacity enforcement in discrete event systems under incomparable observations (Q1788686) (← links)
• Enforcement of opacity by public and private insertion functions (Q1797032) (← links)
• On-line verification of current-state opacity by Petri nets and integer linear programming (Q1797108) (← links)
• Current-state opacity modelling and verification in partially observed Petri nets (Q1987252) (← links)
• Verification of C-detectability using Petri nets (Q2023240) (← links)
• Opacity of networked discrete event systems (Q2053901) (← links)
• Analysis of strong and strong periodic detectability of bounded labeled Petri nets (Q2060875) (← links)
• Enhancement of opacity for distributed state estimation in cyber-physical systems (Q2063862) (← links)
• Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers (Q2065174) (← links)
• Usability aware secret protection with minimum cost (Q2074757) (← links)
• Online verification of \(K\)-step opacity by Petri nets in centralized and decentralized structures (Q2081818) (← links)
• An optimization-based approach to assess non-interference in labeled and bounded Petri net systems (Q2123401) (← links)
• Enforcement for infinite-step opacity and K-step opacity via insertion mechanism (Q2125498) (← links)
• Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets (Q2125506) (← links)
• A framework for current-state opacity under dynamic information release mechanism (Q2125535) (← links)
• Resource failure and buffer space allocation control for automated manufacturing systems (Q2195353) (← links)
• Information control in networked discrete event systems and its application to battery management systems (Q2197580) (← 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)
• Performance safety enforcement in stochastic event graphs against boost and slow attacks (Q2665315) (← links)
• Marking diagnosability verification in labeled Petri nets (Q2665360) (← 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)
• A Framework for the Analysis of Supervised Discrete Event Systems Under Attack (Q5054282) (← links)
• Current-state opacity and initial-state opacity of modular discrete event systems (Q5056544) (← links)
• Diagnosis on a sliding window for partially observable Petri nets (Q5878514) (← links)
• Supervisory control of discrete-event systems under external attacks (Q6081283) (← links)
• Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques (Q6160740) (← links)
• State estimation in labeled time Petri net systems using observed modified state class graph (Q6179959) (← links)
• Symbolic state estimation in bounded timed labeled Petri nets (Q6192943) (← links)
• Quantifying opacity of discrete event systems modeled with probabilistic Petri nets (Q6539394) (← links)
• Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs (Q6550220) (← links)
• Opacity of discrete-event systems under nondeterministic observation mechanism (Q6580966) (← links)
• Infinite- and \(K\)-step opacity verification of discrete-event systems under nondeterministic observations (Q6594952) (← links)
• Opacity enforcement in discrete event systems using differential privacy (Q6629243) (← links)
• State estimation for constant-time labeled automata under dense time (Q6632510) (← links)
• Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems (Q6645045) (← links)