A novel matrix approach to observability analysis of finite automata

Calculation of Siphons and Minimal Siphons in Petri Nets Based on Semi-Tensor Product of Matrices

(2017) Xiaoguang Han et al.   IEEE Transactions on Systems Man Cybernetics-Systems

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

Overview of fault diagnosis methods for Discrete Event Systems

(2013) J. Zaytoon et al.   ANNUAL REVIEWS IN CONTROL

Algebraic formulation and strategy optimization for a class of evolutionary networked games via semi-tensor product method

(2013) Peilian Guo et al.   AUTOMATICA

Observability analysis and observer design for finite automata via matrix approach

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

Observability conditions of Boolean control networks

(2013) Rui Li et al.   INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL

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

(2012) Yuzhen Wang et al.   AUTOMATICA

Observability, Reconstructibility and State Observers of Boolean Control Networks

(2012) Ettore Fornasini et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

A framework for synthesis of communicating decentralised supervisors for discrete-event systems

(2012) Amin Mannani et al.   INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE

A Linear Representation of Dynamics of Boolean Networks

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

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

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

Controllability and observability of Boolean control networks

(2009) Daizhan Cheng et al.   AUTOMATICA

Modular Supervisory Control with Equivalence-Based Abstraction and Covering-Based Conflict Resolution

(2009) Richard C. Hill et al.   DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS

Supervisory control of discrete event systems with state-dependent controllability

(2008) Peng Wang et al.   INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE