A framework for current-state opacity under dynamic information release mechanism (Q2125535): Difference between revisions

@@ Property / author @@
+Shao-Yuan Li
@@ Property / author: Shao-Yuan Li / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UMDES
@@ Property / describes a project that uses: UMDES / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3112467125
@@ Property / OpenAlex ID: W3112467125 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04874
@@ Property / arXiv ID: 2012.04874 / rank @@
+Normal rank
@@ Property / cites work @@
+Opacity Enforcement for Confidential Robust Control in Linear Cyber-Physical Systems
+Normal rank
@@ Property / cites work @@
+Characterizing intransitive noninterference for 3-domain security policies with observability
+Normal rank
@@ Property / cites work @@
+Q2849576
@@ Property / cites work: Q2849576 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of opaque systems with static and dynamic masks
+Normal rank
@@ Property / cites work @@
+Supervisory Control for Opacity
@@ Property / cites work: Supervisory Control for Opacity / rank @@
+Normal rank
@@ Property / cites work @@
+Enforcement and validation (at runtime) of various notions of opacity
+Normal rank
@@ Property / cites work @@
+Estimation and Inference in Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Opacity of discrete event systems and its applications
+Normal rank
@@ Property / cites work @@
+\(k\)-memory-embedded insertion mechanism for opacity enforcement
+Normal rank
@@ Property / cites work @@
+Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
+Normal rank
@@ Property / cites work @@
+Transforming Opacity Verification to Nonblocking Verification in Modular Systems
+Normal rank
@@ Property / cites work @@
+Notions of Centralized and Decentralized Opacity in Linear Systems
+Normal rank
@@ Property / cites work @@
+Current-state opacity modelling and verification in partially observed Petri nets
+Normal rank
@@ Property / cites work @@
+Verification of Infinite-Step Opacity and Complexity Considerations
+Normal rank
@@ Property / cites work @@
+Verification of initial-state opacity in security applications of discrete event systems
+Normal rank
@@ Property / cites work @@
+Active acquisition of information for diagnosis and supervisory control of discrete event systems
+Normal rank
@@ Property / cites work @@
+Verification of State-Based Opacity Using Petri Nets
+Normal rank
@@ Property / cites work @@
+Optimal sensor activation for diagnosing discrete event systems
+Normal rank
@@ Property / cites work @@
+Comparative analysis of related notions of opacity in centralized and coordinated architectures
+Normal rank
@@ Property / cites work @@
+A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
+Normal rank
@@ Property / cites work @@
+A general approach for optimizing dynamic sensor activation for discrete event systems
+Normal rank
@@ Property / cites work @@
+Synthesis of Dynamic Masks for Infinite-Step Opacity
+Normal rank
@@ Property / cites work @@
+Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
+Normal rank
@@ Property / cites work @@
+On Approximate Opacity of Cyber-Physical Systems
@@ Property / cites work: On Approximate Opacity of Cyber-Physical Systems / rank @@
+Normal rank