Modeling and reachability of probabilistic finite automata based on semi-tensor product of matrices

A Linear Representation of Dynamics of Boolean Networks

Daizhan Cheng, Hongsheng Qi · IEEE Transactions on Automatic Control · 2010 · 708 citations

Engineering, Computer Science, Mathematics +17

On controllability and stabilizability of probabilistic Boolean control networks

Zhao Yin, Daizhan Cheng · Science China Information Sciences · 2013 · 126 citations

Engineering, Computer Engineering, Computer Science +12

Matrix expression and reachability analysis of finite automata

Xiangru Xu, Yiguang Hong · Journal of Control Theory and Applications · 2012 · 115 citations

Computing, Computer Science, Computer Systems +10

Probabilistic Supervisory Control of Probabilistic Discrete Event Systems

Vera Pantelic, Steven Postma, Mark Lawford · IEEE Transactions on Automatic Control · 2009 · 42 citations · Full text

Engineering, Computer Science, Mathematics +15

Verification of detectability in Probabilistic Finite Automata

Christoforos Keroglou, Christoforos N. Hadjicostis · Automatica · 2017 · 31 citations

Computing, Computer Engineering, Computer Science +12