Detectability in stochastic discrete event systems (Q897674): Difference between revisions

@@ 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.2015.07.005
+Normal rank
@@ Property / OpenAlex ID @@
+W1141352453
@@ Property / OpenAlex ID: W1141352453 / rank @@
+Normal rank
@@ Property / cites work @@
+On observability of discrete-event systems
@@ Property / cites work: On observability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+Observability of discrete event dynamic systems
@@ Property / cites work: Observability of discrete event dynamic systems / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Infinite-Step Opacity and Complexity Considerations
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+A polynomial algorithm for testing diagnosability of discrete-event systems
+Normal rank
@@ Property / cites work @@
+Polynomial-time verification of diagnosability of partially observed discrete-event systems
+Normal rank
@@ Property / cites work @@
+Detectability of Discrete Event Systems
@@ Property / cites work: Detectability of Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+State estimation and detectability of probabilistic discrete event systems
+Normal rank
@@ Property / cites work @@
+Q4719062
@@ Property / cites work: Q4719062 / rank @@
+Normal rank
@@ Property / cites work @@
+Markov Chains
@@ Property / cites work: Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosability of stochastic discrete-event systems
+Normal rank
@@ Property / cites work @@
+On NFAs where all states are final, initial, or both
+Normal rank