Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition

Controllers for reachability specifications for hybrid systems

John Lygeros, Claire J. Tomlin, Shankar Sastry · Automatica · 1999 · 610 citations

Engineering, Computer Science, Systems Engineering +14

Input-state incidence matrix of Boolean control networks and its applications

Zhao Yin, Hongsheng Qi, Daizhan Cheng · Systems & Control Letters · 2010 · 314 citations

Engineering, Computer Engineering, Circuit Theory +13

Semi-tensor product of matrices and its application to Morgen’s problem

Daizhan Cheng · Science in China Series F Information Sciences · 2001 · 167 citations

Natural Sciences, Mathematics, Algebra +9

A matrix approach to graph maximum stable set and coloring problems with application to multi-agent systems

Yuzhen Wang, Chenghui Zhang, Zhenbin Liu · Automatica · 2012 · 163 citations

Natural Sciences, Systems Engineering, Complex Systems +14

Output feedback stabilization control design for Boolean control networks

Haitao Li, Yuzhen Wang · Automatica · 2013 · 130 citations

Engineering, Computer Engineering, Systems Engineering +12