Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications (Q1737742): Difference between revisions

@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosability Analysis of Labeled Time Petri Net Systems
+Normal rank
@@ Property / cites work @@
+Computation of minimal event bases that ensure diagnosability
+Normal rank
@@ Property / cites work @@
+Robust diagnosis of discrete event systems against intermittent loss of observations
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Codiagnosability for Discrete Event and Timed Systems
+Normal rank
@@ Property / cites work @@
+Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations
+Normal rank
@@ Property / cites work @@
+Empirical studies in the size of diagnosers and verifiers for diagnosability analysis
+Normal rank
@@ Property / cites work @@
+Q3651735
@@ Property / cites work: Q3651735 / rank @@
+Normal rank
@@ Property / cites work @@
+Coordinated decentralized protocols for failure diagnosis of discrete event systems
+Normal rank
@@ Property / cites work @@
+A polynomial algorithm for testing diagnosability of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Finding All the Elementary Circuits of a Directed Graph
+Normal rank
@@ Property / cites work @@
+“Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems” Versus “Decentralized Failure Diagnosis of Discrete Event Systems”: A Critical Appraisal
+Normal rank
@@ Property / cites work @@
+Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Codiagnosability Analysis of Bounded Petri Nets
@@ Property / cites work: Codiagnosability Analysis of Bounded Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+The Synthesis of Time Optimal Supervisors by Using Heaps-of-Pieces
+Normal rank
@@ Property / cites work @@
+A Generalized Framework for Inference-Based Diagnosis of Discrete Event Systems Capturing Both Disjunctive and Conjunctive Decision-Making
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+A necessary and sufficient condition for diagnosability of stochastic discrete event systems
+Normal rank
@@ Property / cites work @@
+Robust Disjunctive-Codiagnosability of Discrete-Event Systems Against Permanent Loss of Observations
+Normal rank
@@ Property / cites work @@
+Fault Diagnosis for Timed Automata
@@ Property / cites work: Fault Diagnosis for Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Codiagnosability and coobservability under dynamic observations: transformation and verification
+Normal rank
@@ Property / cites work @@
+On the Decidability and Complexity of Diagnosability for Labeled Petri Nets
+Normal rank
@@ Property / cites work @@
+Polynomial-time verification of diagnosability of partially observed discrete-event systems
+Normal rank