Reachability and controllability analysis of probabilistic finite automata via a novel matrix method

Observability of Boolean networks via set controllability approach

(2018) Daizhan Cheng et al.   SYSTEMS & CONTROL LETTERS

Synchronization for the Realization-Dependent Probabilistic Boolean Networks

(2018) Hongwei Chen et al.   IEEE Transactions on Neural Networks and Learning Systems

Set Stability and Stabilization of Switched Boolean Networks With State-Based Switching

(2018) Yuanyuan Li et al.   IEEE Access

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

(2018) Zhipeng Zhang et al.   Science China-Information Sciences

Modeling and analysis of colored petri net based on the semi-tensor product of matrices

(2017) Jiantao Zhao et al.   Science China-Information Sciences

A stochastic logical system approach to model and optimal control of cyclic variation of residual gas fraction in combustion engines

(2016) Yuhu Wu et al.   APPLIED THERMAL ENGINEERING

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

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

Impulsive Synchronization of Stochastic Neural Networks via Controlling Partial States

(2016) Yuanyuan Li   NEURAL PROCESSING LETTERS

Controllability of probabilistic Boolean control networks based on transition probability matrices

(2015) Yang Liu et al.   AUTOMATICA

Set stability and set stabilization of Boolean control networks based on invariant subsets

(2015) Yuqian Guo et al.   AUTOMATICA

Modeling, Analysis and Control of Networked Evolutionary Games

(2015) Daizhan Cheng et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

On finite potential games

(2014) Daizhan Cheng   AUTOMATICA

State feedback stabilization for probabilistic Boolean networks

(2014) Rui Li et al.   AUTOMATICA

Stability and stabilisation of context-sensitive probabilistic Boolean networks

(2014) Hao Chen et al.   IET Control Theory and Applications

Current-State Opacity Formulations in Probabilistic Finite Automata

(2013) Anooshiravan Saboori et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

On controllability and stabilizability of probabilistic Boolean control networks

(2013) Yin Zhao et al.   Science China-Information Sciences

Controllability of probabilistic Boolean control networks

(2011) Fangfei Li et al.   AUTOMATICA

A Linear Representation of Dynamics of Boolean Networks

(2010) Daizhan Cheng et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Probabilistic Supervisory Control of Probabilistic Discrete Event Systems

(2009) V. Pantelic et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL