Diagnosis of behaviors of interest in partially-observed discrete-event systems (Q953472): Difference between revisions

@@ Property / cites work @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Active diagnosis of discrete-event systems
@@ Property / cites work: Active diagnosis of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Template languages for fault monitoring of timed discrete event processes
+Normal rank
@@ Property / cites work @@
+Diagnosis of intermittent faults
@@ Property / cites work: Diagnosis of intermittent faults / rank @@
+Normal rank
@@ Property / cites work @@
+Q4524061
@@ Property / cites work: Q4524061 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time verification of diagnosability of partially observed discrete-event systems
+Normal rank
@@ Property / cites work @@
+NP-completeness of sensor selection problems arising in partially observed discrete-event systems
+Normal rank
@@ Property / cites work @@
+A polynomial algorithm for testing diagnosability of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Distributed monitoring of concurrent and asynchronous systems
+Normal rank
@@ Property / cites work @@
+Diagnosis of large active systems
@@ Property / cites work: Diagnosis of large active systems / rank @@
+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 @@
+Q3619797
@@ Property / cites work: Q3619797 / rank @@
+Normal rank