Matrix approach to simplification of finite state machines using semi‐tensor product of matrices

A Finite Convergence Criterion for the Discounted Optimal Control of Stochastic Logical Networks

(2018) Yuhu Wu et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

A novel matrix approach to observability analysis of finite automata

(2017) Na Gao et al.   INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE

STP Approach to Model Controlled Automata with Application to Reachability Analysis of DEDS

(2016) Yongyi Yan et al.   ASIAN JOURNAL OF CONTROL

Cooperative Tasking for Deterministic Specification Automata

(2016) Mohammad Karimadini et al.   ASIAN JOURNAL OF CONTROL

Efficient Deterministic Finite Automata Minimization Based on Backward Depth Information

(2016) Desheng Liu et al.   PLoS One

Feedback Controller Design for the Synchronization of Boolean Control Networks

(2016) Yang Liu et al.   IEEE Transactions on Neural Networks and Learning Systems

Output tracking control of Boolean control networks via state feedback: Constant reference signal case

(2015) Haitao Li et al.   AUTOMATICA

Cycles of periodically time-variant Boolean networks

(2015) Yunlei Zou et al.   AUTOMATICA

Feedback control design for the complete synchronisation of two coupled Boolean networks

(2015) Fangfei Li   INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE

Observability analysis and observer design for finite automata via matrix approach

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

On the complexity of minimizing probabilistic and quantum automata

(2012) Paulo Mateus et al.   INFORMATION AND COMPUTATION

Finite automata theory with membership values in lattices

(2010) Yongming Li   INFORMATION SCIENCES

Controllability and observability of Boolean control networks

(2009) Daizhan Cheng et al.   AUTOMATICA