Group inverse for the block matrices with an invertible subblock. - Changjiang Bu; Min Li; Kuize Zhang; Lan Zheng (Appl. Math. Comput., 2009)

Group inverses of matrices over right Ore domains. - Kuize Zhang; Changjiang Bu (Appl. Math. Comput., 2012)

Controllability of time-variant Boolean control networks and its application to Boolean control networks with finite memories. - Lijun Zhang 004; Kuize Zhang (Sci. China Inf. Sci., 2013)

Controllability and Observability of Boolean Control Networks With Time-Variant Delays in States. - Lijun Zhang 004; Kuize Zhang (IEEE Trans. Neural Networks Learn. Syst., 2013)

High-Order S-Lemma with Application to Stability of a Class of Switched Nonlinear Systems. - Kuize Zhang; Lijun Zhang 004; Fuchun Sun 001 (SIAM J. Control. Optim., 2014)

Convergence speed analysis for evolutionary congestion games. - Kuize Zhang; Nan Xiao 001; Lihua Xie 001; Emilio Frazzoli; Daniela Rus (ASCC, 2015)

Using the theories of finite automata and formal languages to determine observability of switched Boolean control networks. - Kuize Zhang; Lijun Zhang 004; Lihua Xie 001; Zhe Jiang 005 (CDC, 2015)

Invertibility and nonsingularity of Boolean control networks. - Kuize Zhang; Lijun Zhang 004; Lihua Xie 001 (Autom., 2015)

Generalized Reversibility of Topological Dynamical Systems and Cellular Automata. - Kuize Zhang; Lijun Zhang 004 (J. Cell. Autom., 2015)

On nonsingularity of Boolean control networks. - Kuize Zhang (ACC, 2016)

Controllability of probabilistic Boolean control networks with time-variant delays in states. - Kuize Zhang; Lijun Zhang 004 (Sci. China Inf. Sci., 2016)

A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks. - Kuize Zhang; Lijun Zhang 004; Rong Su 001 (SIAM J. Control. Optim., 2016)

On Decomposed Subspaces of Finite Games. - Daizhan Cheng; Ting Liu 010; Kuize Zhang; Hongsheng Qi (IEEE Trans. Autom. Control., 2016)

Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata. - Kuize Zhang; Lijun Zhang 004 (IEEE Trans. Autom. Control., 2016)

On eventual periodicity of networked evolutionary games. - Kuize Zhang; Lijun Zhang 004 (CASE, 2017)

Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach. - Kuize Zhang; Majid Zamani 001 (CDC, 2017)

A note on stationary stable profiles of networked evolutionary games. - Kuize Zhang (ICCA, 2017)

The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete. - Kuize Zhang (Autom., 2017)

An Application of Invertibility of Boolean Control Networks to the Control of the Mammalian Cell Cycle. - Kuize Zhang; Lijun Zhang 004; Shaoshuai Mou (IEEE ACM Trans. Comput. Biol. Bioinform., 2017)

An algorithm for computing explicit expressions for orthogonal projections onto finite-game subspaces. - Kuize Zhang; Karl Henrik Johansson (CDC, 2018)

On detectability of labeled Petri nets with inhibitor arcs. - Kuize Zhang; Alessandro Giua (CoRR, 2018)

Observability of Boolean Control Networks with Time-Variant Delays in States. - Dapeng Jiang; Kuize Zhang (J. Syst. Sci. Complex., 2018)

Reconstructibility of Boolean control networks with time delays in states. - Ping Sun; Lijun Zhang 004; Kuize Zhang (Kybernetika, 2018)

Observability of Finite Labeled Transition Systems. - Kuize Zhang; Ting Liu 010; Daizhan Cheng (IEEE Trans. Autom. Control., 2018)

K-delayed strong detectability of discrete-event systems. - Kuize Zhang; Alessandro Giua (CDC, 2019)

Synthesis for controllability and observability of logical control networks. - Kuize Zhang; Karl Henrik Johansson (CDC, 2019)

Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach. - Kuize Zhang; Xiang Yin 003; Majid Zamani 001 (IEEE Trans. Autom. Control., 2019)

Dynamics and control of evolutionary congestion games. - Xiaoye Gao; Jinhuan Wang; Kuize Zhang (Sci. China Inf. Sci., 2020)

Basis for the quotient space of matrices under equivalence. - Kuize Zhang (Sci. China Inf. Sci., 2020)

A unified method to decentralized state inference and fault diagnosis/prediction of discrete-event systems. - Kuize Zhang (CoRR, 2020)

Detectability of labeled weighted (max-plus) automata. - Kuize Zhang (CoRR, 2020)

Output-Feedback Symbolic Control. - Mahmoud Khaled; Kuize Zhang; Majid Zamani 001 (CoRR, 2020)

On detectability of labeled Petri nets and finite automata. - Kuize Zhang; Alessandro Giua (Discret. Event Dyn. Syst., 2020)

Efficient Verification of Observability and Reconstructibility for Large Boolean Control Networks With Special Structures. - Kuize Zhang; Karl Henrik Johansson (IEEE Trans. Autom. Control., 2020)

State-Based Opacity of Real-Time Automata. - Kuize Zhang (AUTOMATA, 2021)

Diagnosability of labeled weighted automata over the monoid (ℚ⩾0, +, 0). - Kuize Zhang; Jörg Raisch (CDC, 2021)

Diagnosability of labeled max-plus automata. - Kuize Zhang; Jörg Raisch (CoRR, 2021)

A unified concurrent-composition method to state/event inference and concealment in discrete-event systems. - Kuize Zhang (CoRR, 2021)

A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems. - Kuize Zhang (Fundam. Informaticae, 2021)

On the Verification of Detectability for Timed Systems. - Weijie Dong; Xiang Yin 003; Kuize Zhang; Shaoyuan Li (ACC, 2022)

How attacks affect detectability in discrete-event systems? - Kuize Zhang (ACC, 2022)

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

Synthesis for observability of logical control networks. - Kuize Zhang (Autom., 2022)

Detectability of labeled weighted automata over monoids. - Kuize Zhang (Discret. Event Dyn. Syst., 2022)

Agent Transformation of Bayesian Games. - Yuhu Wu; Shuting Le; Kuize Zhang; Xi-Ming Sun (IEEE Trans. Autom. Control., 2022)

Structural Properties of Invariant Dual Subspaces of Boolean Networks. - Dongyao Bi; Lijun Zhang 004; Kuize Zhang (CoRR, 2023)

Removing Two Fundamental Assumptions in Verifying Strong Periodic (D-)Detectability of Discrete-Event Systems. - Kuize Zhang (IEEE Control. Syst. Lett., 2023)

A New Framework for Discrete-Event Systems. - Kuize Zhang (Found. Trends Syst. Control., 2023)

Polynomial-Time Verification and Enforcement of Delayed Strong Detectability for Discrete-Event Systems. - Kuize Zhang (IEEE Trans. Autom. Control., 2023)

A unified concurrent-composition method to state/event inference and concealment in labeled finite-state automata as discrete-event systems. - Kuize Zhang (Annu. Rev. Control., 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)

A Framework for Output-Feedback Symbolic Control. - Mahmoud Khaled; Kuize Zhang; Majid Zamani 001 (IEEE Trans. Autom. Control., 2023)

Embedding Cross-Dimensional Vector Space into ℓ2. - Shengli Xue; Lijun Zhang; Zhiqi Xie; Weijun Yan; Kuize Zhang (J. Syst. Sci. Complex., 2023)

Verification of strong detectability of labeled real-time automata - A concurrent-composition method. - Kuize Zhang; Alessandro Giua (CDC, 2024)

On the verification of detectability for timed discrete event systems. - Weijie Dong; Kuize Zhang; Shaoyuan Li; Xiang Yin 003 (Autom., 2024)

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)

State-based opacity of labeled real-time automata. - Kuize Zhang (Theor. Comput. Sci., 2024)

Diagnosability of labeled Dp-automata. - Kuize Zhang; Jörg Raisch (Theor. Comput. Sci., 2024)

Fundamental structures of invariant dual subspaces with respect to a Boolean network. - Dongyao Bi; Lijun Zhang 004; Kuize Zhang; Shenggui Zhang (Autom., 2025)

Human-Simulated Intelligent Walking Control for Biped Robots. - Xingyang Liu; Haina Rong; Ferrante Neri; Kuize Zhang; Qiang Yang; Zhangguo Yu; Gexiang Zhang (IEEE Trans Autom. Sci. Eng., 2025)