Verification of robust diagnosability for partially observed discrete event systems (Q2391506): Difference between revisions

@@ Property / cites work @@
+Robust nonblocking supervisory control of discrete-event systems
+Normal rank
@@ Property / cites work @@
+A polynomial algorithm for testing diagnosability of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Robust and adaptive supervisory control of discrete event systems
+Normal rank
@@ Property / cites work @@
+Robust and nonblocking supervisory control of nondeterministic discrete event systems using trajectory models
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Robust nonblocking supervisory control of discrete-event systems under partial observation
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Robust supervisory control of a class of timed discrete event systems under partial observation
+Normal rank
@@ Property / cites work @@
+On Codiagnosability and Coobservability With Dynamic Observations
+Normal rank
@@ Property / cites work @@
+Polynomial-time verification of diagnosability of partially observed discrete-event systems
+Normal rank