Matrix approach to detectability of discrete event systems under partial observation. - Xiaoguang Han 002; Zengqiang Chen 001; Jiemei Zhao (CASE, 2017)

A novel matrix approach to observability analysis of finite automata. - Na Gao; Xiaoguang Han 002; Zengqiang Chen 001; Qing Zhang 005 (Int. J. Syst. Sci., 2017)

Calculation of Siphons and Minimal Siphons in Petri Nets Based on Semi-Tensor Product of Matrices. - Xiaoguang Han 002; Zengqiang Chen 001; Zhongxin Liu 001; Qing Zhang 005 (IEEE Trans. Syst. Man Cybern. Syst., 2017)

Model matching of input/output asynchronous sequential machines based on the semi-tensor product of matrices. - Jingjing Wang; Xiaoguang Han 002; Zengqiang Chen 001; Qing Zhang 005 (Future Gener. Comput. Syst., 2018)

The detection and stabilisation of limit cycle for deterministic finite automata. - Xiaoguang Han 002; Zengqiang Chen 001; Zhongxin Liu 001; Qing Zhang 005 (Int. J. Control, 2018)

A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata. - Xiaoguang Han 002; Zengqiang Chen 001 (J. Frankl. Inst., 2018)

On the static output feedback stabilization of deterministic finite automata based upon the approach of semi-tensor product of matrix. - Zhipeng Zhang; Zengqiang Chen 001; Xiaoguang Han 002; Zhongxin Liu 001 (Kybernetika, 2018)

On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices. - Zhipeng Zhang; Zengqiang Chen 001; Xiaoguang Han 002; Zhongxin Liu 001 (Int. J. Syst. Sci., 2019)

Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems. - Xiaoguang Han 002; Zengqiang Chen 001; Rong Su 001 (Syst. Control. Lett., 2019)

A Light-Weighted CNN Model for Wafer Structural Defect Detection. - Xiaoyan Chen; Jianyong Chen; Xiaoguang Han 002; Chundong Zhao; Dongyang Zhang; Kuifeng Zhu; Yanjie Su (IEEE Access, 2020)

Matrix approach to verification and enforcement of nonblockingness for modular discrete-event systems. - Xiaoguang Han 002; Pengfei Wang; Zengqiang Chen 001 (Sci. China Inf. Sci., 2020)

Stabilization of probabilistic finite automata based on semi-tensor product of matrices. - Zhipeng Zhang; Zengqiang Chen 001; Xiaoguang Han 002; Zhongxin Liu 001 (J. Frankl. Inst., 2020)

Detectability vverification of probabilistic Boolean networks. - Xiaoguang Han 002; Wen-Dong Yang; Xiao-Yan Chen; Zhi-Wu Li 001; Zengqiang Chen 001 (Inf. Sci., 2021)

Verification of Strong K-Step Opacity for Discrete-Event Systems. - Xiaoguang Han 002; Kuize Zhang; Zhiwu Li 001 (CDC, 2022)

Revisiting State Estimation and Weak Detectability of Discrete-Event Systems. - Xiaoguang Han 002; Jinliang Wang; Zhiwu Li 001; Xiaoyan Chen; Zengqiang Chen 001 (IEEE Trans Autom. Sci. Eng., 2023)

Strong current-state and initial-state opacity of discrete-event systems. - Xiaoguang Han 002; Kuize Zhang; Jiahui Zhang; Zhiwu Li 001; Zengqiang Chen 001 (Autom., 2023)

Infinite- and K-Step Opacity Verification of Discrete-Event Systems Under Nondeterministic Observations. - Qian Chu; Jiahui Zhang; Xiaoguang Han 002; Zhiwu Li 001; Zengqiang Chen 001 (J. Syst. Sci. Complex., 2023)

Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems. - Xiaoguang Han 002; Kuize Zhang; Zhiwu Li 001 (CoRR, 2024)

[Draft] High-order observers and high-order state-estimation-based properties of discrete-event systems. - Kuize Zhang; Xiaoguang Han 002; Alessandro Giua; Carla Seatzu (CoRR, 2024)

FPGA Implementation for a Class of Generalized Hamiltonian Conservative Chaotic Systems Based on Integrated 4D Euler Equations with Multistability. - Hongyan Jia 001; Wei Li; Hejin Wang; Xiaoguang Han 002; Shiming Wang (Int. J. Bifurc. Chaos, 2024)

A novel path planning scheme based on Fast-IBi-RRT* algorithm for industrial robots. - Miao Zhang; Shengwei Liu; Quan Zhou; Xiaoguang Han 002 (Appl. Intell., 2025)