Computation of minimal event bases that ensure diagnosability (Q692381): Difference between revisions

@@ Property / cites work @@
+Fault detection for discrete event systems using Petri nets with unobservable transitions
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3602752
@@ Property / cites work: Q3602752 / rank @@
+Normal rank
@@ Property / cites work @@
+On an optimization problem in sensor selection
@@ Property / cites work: On an optimization problem in sensor selection / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed monitoring of concurrent and asynchronous systems
+Normal rank
@@ Property / cites work @@
+Model-based detection of routing events in discrete flow networks
+Normal rank
@@ Property / cites work @@
+Covering Graphs by Simple Circuits
@@ Property / cites work: Covering Graphs by Simple Circuits / rank @@
+Normal rank
@@ Property / cites work @@
+A polynomial algorithm for testing diagnosability of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Optimal sensor selection for discrete-event systems with partial observation
+Normal rank
@@ Property / cites work @@
+Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete event systems and its applications
+Normal rank
@@ Property / cites work @@
+Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Template languages for fault monitoring of timed discrete event processes
+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 @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosability of stochastic 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 @@
+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 @@
+NP-completeness of sensor selection problems arising in partially observed discrete-event systems
+Normal rank
@@ Property / cites work @@
+Polynomial-time verification of diagnosability of partially observed discrete-event systems
+Normal rank