Pages that link to "Item:Q453510"

The following pages link to Synthesis of opaque systems with static and dynamic masks (Q453510):

Displaying 25 items.

• Probabilistic opacity for Markov decision processes (Q458386) (← links)
• Synthesis of insertion functions for enforcement of opacity security properties (Q458746) (← links)
• \(k\)-memory-embedded insertion mechanism for opacity enforcement (Q826781) (← links)
• Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (Q1716666) (← links)
• Complexity of detectability, opacity and A-diagnosability for modular discrete event systems (Q1737732) (← 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)
• Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems (Q2003816) (← links)
• Comparing the notions of opacity for discrete-event systems (Q2063098) (← links)
• Enhancement of opacity for distributed state estimation in cyber-physical systems (Q2063862) (← 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)
• 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)
• A general approach for optimizing dynamic sensor activation for discrete event systems (Q2280709) (← links)
• Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems (Q2348371) (← links)
• Verification of opacity and diagnosability for pushdown systems (Q2375627) (← links)
• Decidability of opacity verification problems in labeled Petri net systems (Q2407162) (← links)
• A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers (Q2407182) (← links)
• Control and synthesis of non-interferent timed systems (Q5265904) (← links)
• Verification and enforcement of current-state opacity based on a state space approach (Q6099923) (← links)
• Privacy-preserving co-synthesis against sensor-actuator eavesdropping intruder (Q6100443) (← links)
• Matrix approach for verification of opacity of partially observed discrete event systems (Q6135550) (← links)
• Enforcing opacity by insertion functions under multiple energy constraints (Q6198145) (← links)