Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers (Q2065174): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.automatica.2021.109838
+Normal rank
@@ Property / OpenAlex ID @@
+W3194981700
@@ Property / OpenAlex ID: W3194981700 / 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 @@
+Enforcement and validation (at runtime) of various notions of opacity
+Normal rank
@@ Property / cites work @@
+Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
+Normal rank
@@ Property / cites work @@
+Design of Supervisors for Active Diagnosis in Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Enforcement of opacity by public and private insertion functions
+Normal rank
@@ Property / cites work @@
+Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
+Normal rank
@@ Property / cites work @@
+Decentralized Prognosis of Failures in Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Opacity of discrete event systems and its applications
+Normal rank
@@ Property / cites work @@
+Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem
+Normal rank
@@ Property / cites work @@
+Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
+Normal rank
@@ Property / cites work @@
+Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
+Normal rank
@@ Property / cites work @@
+Synthesis of Maximally Permissive Supervisors for Nondeterministic Discrete Event Systems With Nondeterministic Specifications
+Normal rank
@@ Property / cites work @@
+Verification of State-Based Opacity Using Petri Nets
+Normal rank
@@ Property / cites work @@
+Current-state opacity enforcement in discrete event systems under incomparable observations
+Normal rank
@@ Property / cites work @@
+Comparative analysis of related notions of opacity in centralized and coordinated architectures
+Normal rank
@@ Property / cites work @@
+Synthesis of insertion functions for enforcement of opacity security properties
+Normal rank
@@ Property / cites work @@
+A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
+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 @@
+Synthesis of Dynamic Masks for Infinite-Step Opacity
+Normal rank