The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete (Q2409237): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.automatica.2017.03.023
+Normal rank
@@ Property / OpenAlex ID @@
+W2606674369
@@ Property / OpenAlex ID: W2606674369 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-automaton aperiodicity is PSPACE-complete
@@ Property / cites work: Finite-automaton aperiodicity is PSPACE-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Q3108337
@@ Property / cites work: Q3108337 / 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 @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Generalized detectability for discrete event systems
+Normal rank
@@ Property / cites work @@
+Delayed Detectability of Discrete Event Systems
@@ Property / cites work: Delayed Detectability of Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Detectability of Discrete Event Systems
@@ Property / cites work: Detectability of Discrete Event Systems / rank @@
+Normal rank