Kuize Zhang

67 papers C 4Journal 50Unranked 13
YearRankTypeTitle / Venue / Authors
2026 J jnl
Interval-constraint multiagent systems: Global attractivity and structural stability of equilibria.
Autom.
Fengqiu Liu, Kuize Zhang, Yuhu Wu, Xiaoping Xue
2025 C conf
A Unified Method to Efficiently Verify Opacity of Discrete-Timed Automata.
ICFEM
Julian Klein, Kuize Zhang, Sabine Glesner
2025 J jnl
Fundamental structures of invariant dual subspaces with respect to a Boolean network.
Autom.
Dongyao Bi, Lijun Zhang, Kuize Zhang, Shenggui Zhang
2025 J jnl
Human-Simulated Intelligent Walking Control for Biped Robots.
IEEE Trans Autom. Sci. Eng.
Xingyang Liu, Haina Rong, Ferrante Neri, Kuize Zhang, Qiang Yang, Zhangguo Yu, Gexiang Zhang
2024 J jnl
Diagnosability of labeled Dp-automata.
Theor. Comput. Sci.
Kuize Zhang, Jörg Raisch
2024 J jnl
On the verification of detectability for timed discrete event systems.
Autom.
Weijie Dong, Kuize Zhang, Shaoyuan Li, Xiang Yin
2024 J jnl
State-based opacity of labeled real-time automata.
Theor. Comput. Sci.
Kuize Zhang
2024 J jnl
Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems.
CoRR
Xiaoguang Han, Kuize Zhang, ZhiWu Li
2024 — conf
Verification of strong detectability of labeled real-time automata - A concurrent-composition method.
CDC
Kuize Zhang, Alessandro Giua
2024 J jnl
[Draft] High-order observers and high-order state-estimation-based properties of discrete-event systems.
CoRR
Kuize Zhang, Xiaoguang Han, Alessandro Giua, Carla Seatzu
2023 J jnl
A Framework for Output-Feedback Symbolic Control.
IEEE Trans. Autom. Control.
Mahmoud Khaled, Kuize Zhang, Majid Zamani
2023 J jnl
A New Framework for Discrete-Event Systems.
Found. Trends Syst. Control.
Kuize Zhang
2023 J jnl
A unified concurrent-composition method to state/event inference and concealment in labeled finite-state automata as discrete-event systems.
Annu. Rev. Control.
Kuize Zhang
2023 J jnl
Embedding Cross-Dimensional Vector Space into ℓ
J. Syst. Sci. Complex.
Shengli Xue, Lijun Zhang, Zhiqi Xie, Weijun Yan, Kuize Zhang
2023 J jnl
Polynomial-Time Verification and Enforcement of Delayed Strong Detectability for Discrete-Event Systems.
IEEE Trans. Autom. Control.
Kuize Zhang
2023 J jnl
Removing Two Fundamental Assumptions in Verifying Strong Periodic (D-)Detectability of Discrete-Event Systems.
IEEE Control. Syst. Lett.
Kuize Zhang
2023 J jnl
Strong current-state and initial-state opacity of discrete-event systems.
Autom.
Xiaoguang Han, Kuize Zhang, Jiahui Zhang, ZhiWu Li, Zengqiang Chen
2023 J jnl
Structural Properties of Invariant Dual Subspaces of Boolean Networks.
CoRR
Dongyao Bi, Lijun Zhang, Kuize Zhang
2022 J jnl
Agent Transformation of Bayesian Games.
IEEE Trans. Autom. Control.
Yuhu Wu, Shuting Le, Kuize Zhang, Xi-Ming Sun
2022 J jnl
Detectability of labeled weighted automata over monoids.
Discret. Event Dyn. Syst.
Kuize Zhang
2022 C conf
How attacks affect detectability in discrete-event systems?
ACC
Kuize Zhang
2022 C conf
On the Verification of Detectability for Timed Systems.
ACC
Weijie Dong, Xiang Yin, Kuize Zhang, Shaoyuan Li
2022 J jnl
Synthesis for observability of logical control networks.
Autom.
Kuize Zhang
2022 — conf
Verification of Strong K-Step Opacity for Discrete-Event Systems.
CDC
Xiaoguang Han, Kuize Zhang, ZhiWu Li
2022 J jnl
Verification of Strong K-Step Opacity for Discrete-Event Systems.
CoRR
Xiaoguang Han, Kuize Zhang, ZhiWu Li
2021 J jnl
A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems.
Fundam. Informaticae
Kuize Zhang
2021 J jnl
A unified concurrent-composition method to state/event inference and concealment in discrete-event systems.
CoRR
Kuize Zhang
2021 J jnl
Diagnosability of labeled max-plus automata.
CoRR
Kuize Zhang, Jörg Raisch
2021 — conf
Diagnosability of labeled weighted automata over the monoid (ℚ⩾0, +, 0).
CDC
Kuize Zhang, Jörg Raisch
2021 — conf
State-Based Opacity of Real-Time Automata.
AUTOMATA
Kuize Zhang
2021 J jnl
Strong current-state and initial-state opacity of discrete-event systems.
CoRR
Xiaoguang Han, Kuize Zhang, Jiahui Zhang, ZhiWu Li, Zengqiang Chen
2020 J jnl
A unified method to decentralized state inference and fault diagnosis/prediction of discrete-event systems.
CoRR
Kuize Zhang
2020 J jnl
Basis for the quotient space of matrices under equivalence.
Sci. China Inf. Sci.
Kuize Zhang
2020 J jnl
Detectability of labeled weighted (max-plus) automata.
CoRR
Kuize Zhang
2020 J jnl
Dynamics and control of evolutionary congestion games.
Sci. China Inf. Sci.
Xiaoye Gao, Jinhuan Wang, Kuize Zhang
2020 J jnl
Efficient Verification of Observability and Reconstructibility for Large Boolean Control Networks With Special Structures.
IEEE Trans. Autom. Control.
Kuize Zhang, Karl Henrik Johansson
2020 J jnl
On detectability of labeled Petri nets and finite automata.
Discret. Event Dyn. Syst.
Kuize Zhang, Alessandro Giua
2020 J jnl
Output-Feedback Symbolic Control.
CoRR
Mahmoud Khaled, Kuize Zhang, Majid Zamani
2019 — conf
K-delayed strong detectability of discrete-event systems.
CDC
Kuize Zhang, Alessandro Giua
2019 J jnl
Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach.
IEEE Trans. Autom. Control.
Kuize Zhang, Xiang Yin, Majid Zamani
2019 — conf
Synthesis for controllability and observability of logical control networks.
CDC
Kuize Zhang, Karl Henrik Johansson
2018 — conf
An algorithm for computing explicit expressions for orthogonal projections onto finite-game subspaces.
CDC
Kuize Zhang, Karl Henrik Johansson
2018 J jnl
Observability of Boolean Control Networks with Time-Variant Delays in States.
J. Syst. Sci. Complex.
Dapeng Jiang, Kuize Zhang
2018 J jnl
Observability of Finite Labeled Transition Systems.
IEEE Trans. Autom. Control.
Kuize Zhang, Ting Liu, Daizhan Cheng
2018 J jnl
On detectability of labeled Petri nets with inhibitor arcs.
CoRR
Kuize Zhang, Alessandro Giua
2018 J jnl
Opacity of nondeterministic transition systems: A (bi)simulation relation approach.
CoRR
Kuize Zhang, Xiang Yin, Majid Zamani
2018 J jnl
Reconstructibility of Boolean control networks with time delays in states.
Kybernetika
Ping Sun, Lijun Zhang, Kuize Zhang
2017 — conf
A note on stationary stable profiles of networked evolutionary games.
ICCA
Kuize Zhang
2017 J jnl
An Application of Invertibility of Boolean Control Networks to the Control of the Mammalian Cell Cycle.
IEEE ACM Trans. Comput. Biol. Bioinform.
Kuize Zhang, Lijun Zhang, Shaoshuai Mou
2017 — conf
Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach.
CDC
Kuize Zhang, Majid Zamani
2017 — conf
On eventual periodicity of networked evolutionary games.
CASE
Kuize Zhang, Lijun Zhang
2017 J jnl
The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete.
Autom.
Kuize Zhang
2016 J jnl
A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks.
SIAM J. Control. Optim.
Kuize Zhang, Lijun Zhang, Rong Su
2016 J jnl
Controllability of probabilistic Boolean control networks with time-variant delays in states.
Sci. China Inf. Sci.
Kuize Zhang, Lijun Zhang
2016 J jnl
Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata.
IEEE Trans. Autom. Control.
Kuize Zhang, Lijun Zhang
2016 J jnl
On Decomposed Subspaces of Finite Games.
IEEE Trans. Autom. Control.
Daizhan Cheng, Ting Liu, Kuize Zhang, Hongsheng Qi
2016 C conf
On nonsingularity of Boolean control networks.
ACC
Kuize Zhang
2015 — conf
Convergence speed analysis for evolutionary congestion games.
ASCC
Kuize Zhang, Nan Xiao, Lihua Xie, Emilio Frazzoli, Daniela Rus
2015 J jnl
Generalized Reversibility of Topological Dynamical Systems and Cellular Automata.
J. Cell. Autom.
Kuize Zhang, Lijun Zhang
2015 J jnl
Invertibility and nonsingularity of Boolean control networks.
Autom.
Kuize Zhang, Lijun Zhang, Lihua Xie
2015 — conf
Using the theories of finite automata and formal languages to determine observability of switched Boolean control networks.
CDC
Kuize Zhang, Lijun Zhang, Lihua Xie, Zhe Jiang
2014 J jnl
High-Order S-Lemma with Application to Stability of a Class of Switched Nonlinear Systems.
SIAM J. Control. Optim.
Kuize Zhang, Lijun Zhang, Fuchun Sun
2013 J jnl
Controllability and Observability of Boolean Control Networks With Time-Variant Delays in States.
IEEE Trans. Neural Networks Learn. Syst.
Lijun Zhang, Kuize Zhang
2013 — conf
Controllability of probabilistic Boolean control networks with time-variant delays in states.
CDC
Kuize Zhang, Lijun Zhang
2013 J jnl
Controllability of time-variant Boolean control networks and its application to Boolean control networks with finite memories.
Sci. China Inf. Sci.
Lijun Zhang, Kuize Zhang
2012 J jnl
Group inverses of matrices over right Ore domains.
Appl. Math. Comput.
Kuize Zhang, Changjiang Bu
2009 J jnl
Group inverse for the block matrices with an invertible subblock.
Appl. Math. Comput.
Changjiang Bu, Min Li, Kuize Zhang, Lan Zheng