Language acceptability of finite automata based on theory of semi‐tensor product of matrices

Identification of predictors of Boolean networks from observed attractor states

(2019) Jumei Yue et al.   MATHEMATICAL METHODS IN THE APPLIED SCIENCES

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

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

Observability of Boolean networks via set controllability approach

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

A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata

(2018) Xiao-Guang Han et al.   JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS

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

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

Linear dynamic games with polytope strategy sets

(2017) Yuhu Wu et al.   IET Control Theory and Applications

From STP to game-based control

(2017) Daizhan Cheng et al.   Science China-Information Sciences

Algebraic Formulation and Nash Equilibrium of Competitive Diffusion Games

(2017) Haitao Li et al.   Dynamic Games and Applications

Deterministic ordered restarting automata for picture languages

(2015) Friedrich Otto et al.   ACTA INFORMATICA

On labeled birooted tree languages: Algebras, automata and logic

(2015) David Janin   INFORMATION AND COMPUTATION

Multiple Fuzzy Relation and Its Application to Coupled Fuzzy Control

(2013) Jun-e Feng et al.   ASIAN JOURNAL OF CONTROL

Observability analysis and observer design for finite automata via matrix approach

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

Groups, graphs, languages, automata, games and second-order monadic logic

(2012) Tullio Ceccherini-Silberstein et al.   EUROPEAN JOURNAL OF COMBINATORICS

A bialgebraic approach to automata and formal language theory

(2011) James Worthington   ANNALS OF PURE AND APPLIED LOGIC