专著 (Monographs)：

1. Kuize Zhang. A New Framework for Discrete-Event Systems. Foundations and Trends® in Systems and Control, 10(1-2):1-179, 2023. （提出离散事件系统的新理论框架）
2. Kuize Zhang, Lijun Zhang, Lihua Xie. Discrete-Time and Discrete-Space Dynamical Systems. Springer Nature Switzerland AG, 2020.

专著章节 (Monograph Chapters)：

1. Daizhan Cheng, Jun'e Feng, Jianghua Zhong, Yuhu Wu, Kuize Zhang. Lecture Notes in Semi-Tensor Product of Matrices, Volume 5— Application to Engineering and Some Other Systems. China Science Publishing, 2024 (in Chinese).

讲义性综述 (Surveys as Lecture Notes)：

1. Kuize Zhang. A unified concurrent-composition method to state/event inference and concealment in labeled finite-state automata as discrete-event systems. Annual Reviews in Control, 56:100902(1-21), 2023.
2. Kuize Zhang. A survey on observability of Boolean control networks. Control Theory and Technology, 21 (2) (2023) 115-147.

期刊论文 (Journal Publications)：

自动机和Petri网方向 (Finite Automata and Petri Nets)：

1. Kuize Zhang. State-based opacity of labeled real-time automata, Theoretical Computer Science, 987 (2024), 114373 (1-20).
2. Weijie Dong, Kuize Zhang, Shaoyuan Li, Xiang Yin. On the verification of detectability for timed discrete event systems, Automatica, 164 (2024), 111644 (1-12).
3. Kuize Zhang and Jörg Raisch. Diagnosability of labeled D_p-automata. Theoretical Computer Science, 1015 (2024), 114743(1-22).
4. Kuize Zhang. Detectability of labeled weighted automata over monoids. Discrete Event Dynamic Systems, 32 (2022) 435-494. （提出幺半群上的加权有限自动机）
5. Kuize Zhang. Removing two fundamental assumptions in verifying strong periodic (D-)detectability of discrete-event systems, IEEE Control Systems Letters, 7 (2023), 1518-1523.
6. Xiaoguang Han, Kuize Zhang, Jiahui Zhang, Zhiwu Li, Zengqiang Chen. Strong current-state and initial-state opacity of discrete-event systems, Automatica, 148 (2023), 110756 (1-8).
7. Kuize Zhang. Polynomial-time verification and enforcement of delayed strong detectability for discrete-event systems, IEEE Transactions on Automatic Control, 68(1) (2023), 510-515.
8. Kuize Zhang. A unified method to decentralized state detection and fault diagnosis/prediction of discrete-event systems, Fundamenta Informaticae, 181 (2021), 339-371.
9. Kuize Zhang, Alessandro Giua. On detectability of labeled Petri nets and finite automata, Discrete Event Dynamic Systems, 30 (2020), 465-497. （提出并发合成算子）
10. Kuize Zhang. The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete, Automatica, 81 (2017), 217-220.

布尔控制网络方向 (Boolean Control Networks)：

1. Dongyao Bi, Lijun Zhang, Kuize Zhang, Shenggui Zhang. Fundamental structures of invariant dual subspaces with respect to a Boolean network, Automatica, accepted, 2025.
2. Kuize Zhang. Synthesis for observability of logical control networks. Automatica, 144 (2022), 110481 (1-9).
3. Kuize Zhang, Karl Henrik Johansson. Efficient verification of observability and reconstructibility for large Boolean control networks with special structures. IEEE Transactions on Automatic Control, 65 (12) (2020), 5144-5158.
4. Kuize Zhang, Lijun Zhang, Shaoshuai Mou. An application of invertibility of Boolean control networks to the control of the mammalian cell cycle, IEEE/ACM Transactions on Computational Biology and Bioinformatics, 14 (1) (2017), 225-229.
5. Kuize Zhang, Lijun Zhang, Rong Su. A weighted pair graph representation for reconstructibility of Boolean control networks, SIAM Journal on Optimization and Control, 54 (6) (2016), 3040-3060.
6. Kuize Zhang, Lijun Zhang, Lihua Xie. Invertibility and nonsingularity of Boolean control networks, Automatica, 60 (2015), 155-164. （提出布尔控制网络的可逆性）
7. Kuize Zhang, Lijun Zhang. Observability of Boolean control networks: A unified approach based on finite automata, IEEE Transactions on Automatic Control, 61(9) (2016), 2733-2738. （提出布尔控制网络的能观性图）
8. Kuize Zhang, Lijun Zhang, Lihua Xie. Finite automata approach to observability of switched Boolean control networks, Nonlinear Analysis: Hybrid Systems, 19 (2016), 186-197.
9. Lijun Zhang, Kuize Zhang. Controllability and observability of Boolean control networks with time-variant delays in states, IEEE Transactions on Neural Networks and Learning Systems, 24 (9) (2013), 1478-1484.

迁移系统方向 (Transition Systems)：

1. Mahmoud Khaled, Kuize Zhang, Majid Zamani. A framework for output-feedback symbolic control, IEEE Transactions on Automatic Control, 68(9) (2023), 5600-5607.
2. Kuize Zhang, Xiang Yin, Majid Zamani. Opacity of nondeterministic transition systems: A (bi)simulation relation approach, IEEE Transactions on Automatic Control, 64 (2019), 5116-5123. （提出保持不透明性的（互）模拟关系）
3. Kuize Zhang, Ting Liu, Daizhan Cheng. Observability of finite labeled transition systems, IEEE Transactions on Automatic Control, 63 (2018), 1501-1512.

矩阵半张量积方向 (The Semitensor Product of Matrices)：

1. Kuize Zhang. Basis for the quotient space of matrices under equivalence. Science China Information Sciences, 63 (2020), 189203:1-189203:3.（给出商向量空间（可数无穷维）的一个基底）

非线性控制系统方向 (Nonlinear Control Systems)：

1. Xingyang Liu, Haina Rong, Ferrante Neri, Kuize Zhang, Qiang Yang, Zhangguo Yu, Gexiang Zhang. Human-simulated intelligent walking control for biped robots. IEEE Transactions on Automation Science and Engineering, 1-15, 2024.
2. Kuize Zhang, Lijun Zhang, Fuchun Sun. High-order S-Lemma with application to stability of a class of switched nonlinear systems, SIAM Journal on Control and Optimization, 52 (1) (2014), 120-142. （将Yakubovich的S-Lemma从二次型推广到齐次函数）
3. Lijun Zhang, Kuize Zhang. L_2 stability, H_inf control of switched homogeneous nonlinear systems and their semi-tensor product of matrices representation, International Journal of Robust and Nonlinear Control, 23 (2013), 638-652.

博弈论方向 (Game Theory)：

1. Yuhu Wu, Shuting Le, Kuize Zhang, Xi-Ming Sun. Ex-ante agent transformation of Bayesian games, IEEE Transactions on Automatic Control, 6 (17) (2022), 5793-5808.
2. Xiaoye Gao, Jinhuan Wang, Kuize Zhang. Dynamics and control of evolutionary congestion games, Science China Information Sciences, 63 (6) (2020), 169203.
3. Daizhan Cheng, Ting Liu, Kuize Zhang, Hongsheng Qi. On decomposed subspaces of finite games, IEEE Transactions on Automatic Control, 61 (11) (2016), 3651-3656.

会议论文 (Conference Publications)：

自动机和Petri网方向 (Finite Automata and Petri Nets)：

1. Kuize Zhang. Resilience in labeled real-time automata. In the  19th National Conference on Modern Logic (NCML 2025), 7-9 November 2025, Shanghai, China.

2. Julian Klein, Kuize Zhang, and Sabine Glesner. A unified method to efficiently verify opacity of discrete-timed automata. In the 26th International Conference on Formal Engineering Methods (ICFEM 2025), 10-13 November 2025, Hangzhou, China.

3. Tianchen Zhang, Kuize Zhang. Eventual strong detectability of labeled weighted automata over monoids, 16th IFAC Workshop on Discrete Event Systems, September 7-8, 2022, Prague, Czechia, 270-275.
4. Kuize Zhang, Jörg Raisch. Diagnosability of labeled weighted automata over the monoid (Q≥0,+,0), the 60th IEEE Conference on Decision and Control, December 13-15, 2021, Austin, Texas, USA, 6867-6872.
5. Kuize Zhang, Alessandro Giua. Verification of strong detectability of labeled real-time automata, 52nd IEEE Conference on Decision and Control, December 16-19 2024, Allianz MiCo, Milan Convention Centre, Italy, 3687-3692.
6. Yucan Yan, Kuize Zhang. Formulation of concurrent composition in labeled real-time automata with an application to fault diagnosis, 14th United Kingdom Automatic Control Council (UKACC) International Conference on Control, April, 10-12, 2024, Winchester, United Kingdom, 281-286.
7. Kuize Zhang. State-based opacity of real-time automata, In 27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2021), pages 12:1–12:15 in Marseille, France, July 12-17, 2021.
8. Xiaoguang Han, Kuize Zhang, Zhiwu Li. Verification of strong K-step opacity for discrete-event systems, the 61st IEEE Conference on Decision and Control, December 6-9, 2022, in Cancún, Mexico, 4250-4255.
9. Kuize Zhang. How attacks affect detectability in discrete-event systems? 2022 American Control Conference, July 8-10, 2022, Atlanta, USA, 3728-3733.
10. Kuize Zhang, Alessandro Giua. K-delayed strong detectability of discrete-event systems, the 58th IEEE Conference on Decision and Control, December 11-13, 2019, Nice, France, 7647-7652.
11. Kuize Zhang, Alessandro Giua. Weak (approximate) detectability of labeled Petri net systems with inhibitor arcs, the 14th Workshop on Discrete Event Systems, May 30-June 1, 2018, Sorrento Coast, Italy, 179-183.

元胞自动机方向 (Cellular Automata)：

1. Jarkko Kari, Kuize Zhang. Two transitive cellular automata and their strictly temporally periodic points, the 19th International Workshop on Cellular Automata and Discrete Complex Systems, September 17-19, 2013, Gießen, Germany, 39-47.