Codiagnosability and coobservability under dynamic observations: transformation and verification (Q900685): Difference between revisions

@@ 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 @@
+Q3602752
@@ Property / cites work: Q3602752 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory control of discrete-event processes with partial observations
+Normal rank
@@ Property / cites work @@
+Coordinated decentralized protocols for failure diagnosis of discrete event systems
+Normal rank
@@ Property / cites work @@
+Fault diagnosis in discrete-event systems: Framework and model reduction
+Normal rank
@@ Property / cites work @@
+Decentralized Control of Discrete-Event Systems When Supervisors Observe Particular Event Occurrences
+Normal rank
@@ Property / cites work @@
+A polynomial algorithm for testing diagnosability of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete event systems and its applications
+Normal rank
@@ Property / cites work @@
+Control of Networked Discrete Event Systems: Dealing with Communication Delays and Losses
+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 @@
+Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Maximal Solutions in Decentralized Supervisory Control
+Normal rank
@@ Property / cites work @@
+A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
+Normal rank
@@ Property / cites work @@
+Minimal communication in a distributed discrete-event system
+Normal rank
@@ Property / cites work @@
+The computational complexity of decentralized discrete-event control problems
+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 @@
+Minimal sensor activation and minimal communication in discrete-event systems
+Normal rank
@@ Property / cites work @@
+Control of discrete-event systems. Automata and Petri net perspectives
+Normal rank
@@ Property / cites work @@
+Global and local consistencies in distributed fault diagnosis for discrete-event systems
+Normal rank
@@ Property / cites work @@
+Active acquisition of information for diagnosis and supervisory control of discrete event systems
+Normal rank
@@ Property / cites work @@
+Undecidable problems of decentralized observation and control on regular languages
+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 @@
+An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions
+Normal rank
@@ Property / cites work @@
+Minimization of Dynamic Sensor Activation in Discrete Event Systems for the Purpose of Control
+Normal rank
@@ Property / cites work @@
+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 @@
+Event counting of partially-observed discrete-event systems with uniformly and nonuniformly bounded diagnosis delays
+Normal rank
@@ Property / cites work @@
+Polynomial-time verification of diagnosability of partially observed discrete-event systems
+Normal rank