Optimal constructions for active diagnosis (Q314815): Difference between revisions

@@ Property / DOI @@
-.1016/j.jcss.2016.04.007
@@ Property / DOI: 10.1016/j.jcss.2016.04.007 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+M15
@@ Property / Mathematics Subject Classification ID: 68M15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B50
@@ Property / Mathematics Subject Classification ID: 93B50 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C65
@@ Property / Mathematics Subject Classification ID: 93C65 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6628244
@@ Property / zbMATH DE Number: 6628244 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+partial observation
@@ Property / zbMATH Keywords: partial observation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+diagnosis
@@ Property / zbMATH Keywords: diagnosis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+game theory
@@ Property / zbMATH Keywords: game theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automata theory
@@ Property / zbMATH Keywords: automata theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+controller synthesis
@@ Property / zbMATH Keywords: controller synthesis / rank @@
+Normal rank
@@ 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.jcss.2016.04.007
+Normal rank
@@ Property / OpenAlex ID @@
+W2466791622
@@ Property / OpenAlex ID: W2466791622 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2963940
@@ Property / cites work: Q2963940 / 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 @@
+Q3602752
@@ Property / cites work: Q3602752 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial-time verification of diagnosability of partially observed discrete-event systems
+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 @@
+Q3165948
@@ Property / cites work: Q3165948 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating finite automata on \(\omega\)-words
@@ Property / cites work: Alternating finite automata on \(\omega\)-words / rank @@
+Normal rank
@@ Property / cites work @@
+Memoryless Determinacy of Parity Games
@@ Property / cites work: Memoryless Determinacy of Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+Fault diagnosis in discrete-event systems: incorporating timing information
+Normal rank
@@ Property / cites work @@
+Diagnosability of stochastic discrete-event systems
+Normal rank
@@ Property / cites work @@
+Active Diagnosis for Probabilistic Systems
@@ Property / cites work: Active Diagnosis for Probabilistic Systems / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JCSS.2016.04.007
@@ Property / DOI: 10.1016/J.JCSS.2016.04.007 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:314815