Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition (Q1633055): Difference between revisions

@@ Property / cites work @@
+Semi-tensor product of matrices and its application to Morgen's problem
+Normal rank
@@ Property / cites work @@
+Q3224871
@@ Property / cites work: Q3224871 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic dynamics of Boolean control networks
@@ Property / cites work: Symbolic dynamics of Boolean control networks / rank @@
+Normal rank
@@ Property / cites work @@
+<i>L</i><sub>2</sub>stability,<i>H</i><sub>∞</sub>control of switched homogeneous nonlinear systems and their semi-tensor product of matrices representation
+Normal rank
@@ Property / cites work @@
+Controllability and optimal control of a temporal Boolean network
+Normal rank
@@ Property / cites work @@
+Boolean derivative calculation with application to fault detection of combinational circuits via the semi-tensor product method
+Normal rank
@@ Property / cites work @@
+A matrix approach to graph maximum stable set and coloring problems with application to multi-agent systems
+Normal rank
@@ Property / cites work @@
+Output feedback stabilization control design for Boolean control networks
+Normal rank
@@ Property / cites work @@
+Solving type-2 fuzzy relation equations via semi-tensor product of matrices
+Normal rank
@@ Property / cites work @@
+Singular Boolean networks: Semi-tensor product approach
+Normal rank
@@ Property / cites work @@
+Parameterized complexity of basic decision problems for tree automata
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+A general approach for building combinational<i>P</i>automata
+Normal rank
@@ Property / cites work @@
+Q3958592
@@ Property / cites work: Q3958592 / rank @@
+Normal rank
@@ Property / cites work @@
+Input-state incidence matrix of Boolean control networks and its applications
+Normal rank
@@ Property / cites work @@
+Controllers for reachability specifications for hybrid systems
+Normal rank
@@ Property / cites work @@
+Complete synchronization of temporal Boolean networks
+Normal rank