Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions (Q513180): Difference between revisions

@@ Property / DOI @@
-.1007/s10626-016-0229-2
@@ Property / DOI: 10.1007/s10626-016-0229-2 / rank @@
-Normal rank
@@ Property / cites work @@
+A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata
+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 @@
+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 @@
+Optimal Supervisory Control of Discrete Event Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Q4840936
@@ Property / cites work: Q4840936 / rank @@
+Normal rank
@@ Property / cites work @@
+Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Knowledge Is a Terrible Thing to Waste: Using Inference in Discrete-Event Control Problems
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction-based verification of codiagnosability for discrete event systems
+Normal rank
@@ Property / cites work @@
+Global and local consistencies in distributed fault diagnosis for discrete-event systems
+Normal rank
@@ Property / cites work @@
+Decentralized Supervisory Control With Conditional Decisions: Supervisor Existence
+Normal rank
@@ Property / cites work @@
+Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
+Normal rank
@@ Property / cites work @@
+On Codiagnosability and Coobservability With Dynamic Observations
+Normal rank
@@ Property / cites work @@
+Optimal sensor activation for diagnosing discrete event systems
+Normal rank
@@ Property / cites work @@
+Diagnosis of discrete event systems using decentralized architectures
+Normal rank
@@ Property / cites work @@
+Erratum to: ``Diagnosis of discrete event systems using decentralized architectures''
+Normal rank
@@ Property / cites work @@
+Codiagnosability and coobservability under dynamic observations: transformation and verification
+Normal rank
@@ Property / cites work @@
+Diagnosis of behaviors of interest in partially-observed discrete-event systems
+Normal rank
@@ Property / cites work @@
+Polynomial-time verification of diagnosability of partially observed discrete-event systems
+Normal rank
@@ Property / cites work @@
+Decentralized supervisory control with conditional decisions: supervisor realization
+Normal rank
@@ Property / DOI @@
+.1007/S10626-016-0229-2
@@ Property / DOI: 10.1007/S10626-016-0229-2 / rank @@
+Normal rank