On-line verification of current-state opacity by Petri nets and integer linear programming (Q1797108): Difference between revisions

@@ Property / cites work @@
+Concurrent secrets
@@ Property / cites work: Concurrent secrets / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Approach for Online Diagnosis of Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
+Normal rank
@@ Property / cites work @@
+Q2849576
@@ Property / cites work: Q2849576 / rank @@
+Normal rank
@@ Property / cites work @@
+Marking Estimation of Petri Nets With Silent Transitions
+Normal rank
@@ Property / cites work @@
+On-line fault detection in discrete event systems by Petri nets and integer linear programming
+Normal rank
@@ Property / cites work @@
+Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints
+Normal rank
@@ Property / cites work @@
+Q3911403
@@ Property / cites work: Q3911403 / rank @@
+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 @@
+Verification of State-Based Opacity Using Petri Nets
+Normal rank
@@ Property / cites work @@
+Comparative analysis of related notions of opacity in centralized and coordinated architectures
+Normal rank