Diagnosis of discrete event systems using decentralized architectures (Q884759): Difference between revisions

@@ Property / describes a project that uses @@
+UMDES
@@ Property / describes a project that uses: UMDES / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10626-006-0006-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2088445166
@@ Property / OpenAlex ID: W2088445166 / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosis of large active systems
@@ Property / cites work: Diagnosis of large active systems / rank @@
+Normal rank
@@ Property / cites work @@
+Decentralized Supervisory Control With Conditional Decisions: Supervisor Existence
+Normal rank
@@ Property / cites work @@
+Q4719062
@@ Property / cites work: Q4719062 / rank @@
+Normal rank
@@ Property / cites work @@
+Coordinated decentralized protocols for failure diagnosis of discrete event systems
+Normal rank
@@ Property / cites work @@
+Distributed monitoring of concurrent and asynchronous systems
+Normal rank
@@ Property / cites work @@
+A general architecture for decentralized supervisory control of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Think globally, act locally: decentralized supervisory control
+Normal rank
@@ Property / cites work @@
+Q4763563
@@ Property / cites work: Q4763563 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4423257
@@ Property / cites work: Q4423257 / 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 @@
+Deciding co-observability is pspace-complete
@@ Property / cites work: Deciding co-observability is pspace-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosing discrete-event systems: Extending the ``diagnoser approach'' to deal with 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 @@
+Polynomial-time verification of diagnosability of partially observed discrete-event systems
+Normal rank