Diagnosis of behaviors of interest in partially-observed discrete-event systems (Q953472): 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.1016/j.sysconle.2008.06.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2043999397
@@ Property / OpenAlex ID: W2043999397 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:953472