Xiaoguang Han

According to our database, Xiaoguang Han authored at least 16 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Infinite- and K-Step Opacity Verification of Discrete-Event Systems Under Nondeterministic Observations.

Qian Chu, Jiahui Zhang, Xiaoguang Han, Zhiwu Li, Zengqiang Chen

J. Syst. Sci. Complex., October, 2023

Strong current-state and initial-state opacity of discrete-event systems.

Xiaoguang Han, Kuize Zhang, Jiahui Zhang, Zhiwu Li, Zengqiang Chen

Autom., February, 2023

Revisiting State Estimation and Weak Detectability of Discrete-Event Systems.

Xiaoguang Han, Jinliang Wang, Zhiwu Li, Xiaoyan Chen, Zengqiang Chen

IEEE Trans Autom. Sci. Eng., 2023

2022

Verification of Strong K-Step Opacity for Discrete-Event Systems.

Xiaoguang Han, Kuize Zhang, Zhiwu Li

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

Detectability vverification of probabilistic Boolean networks.

Xiaoguang Han, Wen-Dong Yang, Xiao-Yan Chen, Zhi-Wu Li, Zengqiang Chen

Inf. Sci., 2021

2020

Stabilization of probabilistic finite automata based on semi-tensor product of matrices.

Zhipeng Zhang, Zengqiang Chen, Xiaoguang Han, Zhongxin Liu

J. Frankl. Inst., 2020

Matrix approach to verification and enforcement of nonblockingness for modular discrete-event systems.

Xiaoguang Han, Pengfei Wang, Zengqiang Chen

Sci. China Inf. Sci., 2020

A Light-Weighted CNN Model for Wafer Structural Defect Detection.

Xiaoyan Chen, Jianyong Chen, Xiaoguang Han, Chundong Zhao, Dongyang Zhang, Kuifeng Zhu, Yanjie Su

IEEE Access, 2020

2019

Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems.

Xiaoguang Han, Zengqiang Chen, Rong Su

Syst. Control. Lett., 2019

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, Xiaoguang Han, Zhongxin Liu

Int. J. Syst. Sci., 2019

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, Xiaoguang Han, Zhongxin Liu

Kybernetika, 2018

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

Xiaoguang Han, Zengqiang Chen

J. Frankl. Inst., 2018

The detection and stabilisation of limit cycle for deterministic finite automata.

Xiaoguang Han, Zengqiang Chen, Zhongxin Liu, Qing Zhang

Int. J. Control, 2018

Model matching of input/output asynchronous sequential machines based on the semi-tensor product of matrices.

Jingjing Wang, Xiaoguang Han, Zengqiang Chen, Qing Zhang

Future Gener. Comput. Syst., 2018

2017

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

Xiaoguang Han, Zengqiang Chen, Zhongxin Liu, Qing Zhang

IEEE Trans. Syst. Man Cybern. Syst., 2017

A novel matrix approach to observability analysis of finite automata.

Na Gao, Xiaoguang Han, Zengqiang Chen, Qing Zhang

Int. J. Syst. Sci., 2017