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

Symbolic dynamics of Boolean control networks

(2013) Gal Hochma et al.   AUTOMATICA

Output feedback stabilization control design for Boolean control networks

(2013) Haitao Li et al.   AUTOMATICA

Parameterized complexity of basic decision problems for tree automata

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

Complete synchronization of temporal Boolean networks

(2013) Fangfei Li et al.   NEURAL NETWORKS

Biped walking on level ground with torso using only one actuator

(2013) Shuai Feng et al.   Science China-Information Sciences

Hybrid MARTE statecharts

(2013) Jing Liu et al.   Frontiers of Computer Science

Synchronization Design of Boolean Networks Via the Semi-Tensor Product Method

(2013) Rui Li et al.   IEEE Transactions on Neural Networks and Learning Systems

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

L2stability,H∞control of switched homogeneous nonlinear systems and their semi-tensor product of matrices representation

(2012) Lijun Zhang et al.   INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL

Controllability and optimal control of a temporal Boolean network

(2012) Fangfei Li et al.   NEURAL NETWORKS

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

(2010) Yin Zhao et al.   SYSTEMS & CONTROL LETTERS