Generalised projections in finite state automata and decidability of state determinacy (Q3603720): Difference between revisions

@@ Property / cites work @@
+Language-measure-theoretic optimal control of probabilistic finite-state systems
+Normal rank
@@ Property / cites work @@
+Fluid stochastic Petri nets augmented with flush-out arcs: Modelling and analysis
+Normal rank
@@ Property / cites work @@
+Optimal sensor selection for discrete-event systems with partial observation
+Normal rank
@@ Property / cites work @@
+Decentralized supervisory control of discrete-event systems
+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 @@
+Q4219294
@@ Property / cites work: Q4219294 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Signed real measure of regular languages for discrete event supervisory control
+Normal rank
@@ Property / cites work @@
+Diagnosability of discrete-event systems
@@ Property / cites work: Diagnosability of discrete-event systems / rank @@
+Normal rank
@@ Property / cites work @@
+On the computation of observers in discrete-event systems
+Normal rank