Empirical studies in the size of diagnosers and verifiers for diagnosability analysis (Q1686857): Difference between revisions

@@ Property / describes a project that uses @@
+REGAL
@@ Property / describes a project that uses: REGAL / 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-017-0260-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2742187848
@@ Property / OpenAlex ID: W2742187848 / rank @@
+Normal rank
@@ Property / cites work @@
+Enumeration and generation with a string automata representation
+Normal rank
@@ Property / cites work @@
+Q3077339
@@ Property / cites work: Q3077339 / rank @@
+Normal rank
@@ Property / cites work @@
+Enumeration and random generation of accessible automata
+Normal rank
@@ Property / cites work @@
+Probability and Random Processes for Electrical and Computer Engineers
+Normal rank
@@ Property / cites work @@
+A polynomial algorithm for testing diagnosability of discrete-event systems
+Normal rank
@@ Property / cites work @@
+On a structural property in the state complexity of projected regular languages
+Normal rank
@@ Property / cites work @@
+On the Bounds for State-Set Size in the Proofs of Equivalence Between Deterministic, Nondeterministic, and Two-Way Finite Automata
+Normal rank
@@ Property / cites work @@
+“Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems” Versus “Decentralized Failure Diagnosis of Discrete Event Systems”: A Critical Appraisal
+Normal rank
@@ Property / cites work @@
+Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Q3727828
@@ Property / cites work: Q3727828 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4763563
@@ Property / cites work: Q4763563 / 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 @@
+Polynomial-time verification of diagnosability of partially observed discrete-event systems
+Normal rank