Opacity of networked discrete event systems (Q2053901): Difference between revisions

@@ Property / DOI @@
-.1016/j.ins.2020.07.017
@@ Property / DOI: 10.1016/j.ins.2020.07.017 / 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 / full work available at URL @@
+https://doi.org/10.1016/j.ins.2020.07.017
+Normal rank
@@ Property / OpenAlex ID @@
+W3043429084
@@ Property / OpenAlex ID: W3043429084 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849576
@@ Property / cites work: Q2849576 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of initial-state opacity in security applications of 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 @@
+Verification of Infinite-Step Opacity and Complexity Considerations
+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 @@
+Current-State Opacity Formulations in Probabilistic Finite Automata
+Normal rank
@@ Property / cites work @@
+Infinite-step opacity and \(K\)-step opacity of stochastic discrete-event systems
+Normal rank
@@ Property / cites work @@
+Quantifying opacity
@@ Property / cites work: Quantifying opacity / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic system opacity in discrete event systems
+Normal rank
@@ Property / cites work @@
+Decidability of opacity verification problems in labeled Petri net systems
+Normal rank
@@ Property / cites work @@
+Verification of State-Based Opacity Using Petri Nets
+Normal rank
@@ Property / cites work @@
+On-line verification of current-state opacity by Petri nets and integer linear programming
+Normal rank
@@ Property / cites work @@
+Current-state opacity modelling and verification in partially observed Petri nets
+Normal rank
@@ Property / cites work @@
+Verification of opacity and diagnosability for pushdown systems
+Normal rank
@@ Property / cites work @@
+Supervisory Control for Opacity
@@ Property / cites work: Supervisory Control for Opacity / rank @@
+Normal rank
@@ Property / cites work @@
+Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
+Normal rank
@@ Property / cites work @@
+Current-state opacity enforcement in discrete event systems under incomparable observations
+Normal rank
@@ Property / cites work @@
+Synthesis of insertion functions for enforcement of opacity security properties
+Normal rank
@@ Property / cites work @@
+Synthesis of Optimal Insertion Functions for Opacity Enforcement
+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 @@
+A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
+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 @@
+Control of Networked Discrete Event Systems: Dealing with Communication Delays and Losses
+Normal rank
@@ Property / cites work @@
+Predictive Networked Control of Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+On observability of discrete-event systems
@@ Property / cites work: On observability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Think globally, act locally: decentralized supervisory control
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Robust diagnosis of discrete event systems against intermittent loss of observations
+Normal rank
@@ Property / cites work @@
+Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.INS.2020.07.017
@@ Property / DOI: 10.1016/J.INS.2020.07.017 / rank @@
+Normal rank