Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems (Q1716666): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.automatica.2018.10.049
+Normal rank
@@ Property / OpenAlex ID @@
+W2901162916
@@ Property / OpenAlex ID: W2901162916 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent secrets
@@ Property / cites work: Concurrent secrets / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic opacity for Markov decision processes
+Normal rank
@@ Property / cites work @@
+Quantifying opacity
@@ Property / cites work: Quantifying opacity / 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 @@
+Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
+Normal rank
@@ Property / cites work @@
+Enforcing opacity of regular predicates on modal transition systems
+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 @@
+Detectability in stochastic discrete event systems
+Normal rank
@@ Property / cites work @@
+Verification of detectability in probabilistic finite automata
+Normal rank
@@ Property / cites work @@
+Opacity of discrete event systems and its applications
+Normal rank
@@ Property / cites work @@
+Markov Chains
@@ Property / cites work: Markov Chains / rank @@
+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 @@
+Current-State Opacity Formulations in Probabilistic Finite Automata
+Normal rank
@@ Property / cites work @@
+Decidability of opacity verification problems in labeled Petri net systems
+Normal rank
@@ Property / cites work @@
+Comparative analysis of related notions of opacity in centralized and coordinated architectures
+Normal rank
@@ Property / cites work @@
+Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
+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