Algebraic state space approach to model and control combined automata

Semi-tensor product approach to controllability and stabilizability of finite automata

(2015) Yongyi Yan et al.   Journal of Systems Engineering and Electronics

On dynamics of automata with a stack

(2014) Łukasz Czech   INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS

Restarting automata with auxiliary symbols restricted by lookahead size

(2014) Natalie Schluter   INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS

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

(2014) Yongyi Yan et al.   Frontiers of Computer Science

Observability analysis and observer design for finite automata via matrix approach

(2013) Xu Xiangru et al.   IET Control Theory and Applications

Parameterized complexity of basic decision problems for tree automata

(2013) Witold Charatonik et al.   INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS

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

(2012) Yuzhen Wang et al.   AUTOMATICA

Boolean derivative calculation with application to fault detection of combinational circuits via the semi-tensor product method

(2012) Haitao Li et al.   AUTOMATICA

Controllability and optimal control of a temporal Boolean network

(2012) Fangfei Li et al.   NEURAL NETWORKS

Disturbance Decoupling of Boolean Control Networks

(2010) Daizhan Cheng   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

STABILITY OF SWITCHED POLYNOMIAL SYSTEMS

(2008) Zhiqiang Li et al.   Journal of Systems Science & Complexity