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

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

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

On finite potential games

(2014) Daizhan Cheng   AUTOMATICA

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

Confusion Diagnosis and Control of Discrete Event Systems Using Synchronized Petri Nets

(2013) Xiao-liang Chen et al.   ASIAN JOURNAL OF CONTROL

New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems

(2013) Rabah Boukra et al.   DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS

Observability analysis and observer design for finite automata via matrix approach

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

Complete synchronization of temporal Boolean networks

(2013) Fangfei Li et al.   NEURAL NETWORKS

Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri Nets

(2013) Maria Paola Cabasino et al.   IEEE Transactions on Systems Man Cybernetics-Systems

A Lightweight Model Predictive Controller For Repetitive Discrete Event Systems

(2012) H. Goto   ASIAN JOURNAL OF CONTROL

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

(2012) Yuzhen Wang et al.   AUTOMATICA

Robust diagnosis of discrete-event systems against permanent loss of observations

(2012) Lilian K. Carvalho et al.   AUTOMATICA

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