Kuize Zhang

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 55

Top Topics

Fault Diagnosis

Finite Automata

Discrete Event Systems

Top Venues

IEEE Trans. Autom. Control.

Publications

Kuize Zhang
State-based opacity of labeled real-time automata. Theor. Comput. Sci. 987 (2024)
Kuize Zhang, Jörg Raisch
Diagnosability of labeled Dp-automata. Theor. Comput. Sci. 1015 (2024)
Xiaoguang Han, Kuize Zhang, Zhiwu Li
Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems. CoRR (2024)
Weijie Dong, Kuize Zhang, Shaoyuan Li, Xiang Yin
On the verification of detectability for timed discrete event systems. Autom. 164 (2024)
Dongyao Bi, Lijun Zhang, Kuize Zhang
Structural Properties of Invariant Dual Subspaces of Boolean Networks. CoRR (2023)
Mahmoud Khaled, Kuize Zhang, Majid Zamani
A Framework for Output-Feedback Symbolic Control. IEEE Trans. Autom. Control. 68 (9) (2023)
Kuize Zhang
A New Framework for Discrete-Event Systems. Found. Trends Syst. Control. 10 (1-2) (2023)
Kuize Zhang
Removing Two Fundamental Assumptions in Verifying Strong Periodic (D-)Detectability of Discrete-Event Systems. IEEE Control. Syst. Lett. 7 (2023)
Shengli Xue, Lijun Zhang, Zhiqi Xie, Weijun Yan, Kuize Zhang
. J. Syst. Sci. Complex. 36 (6) (2023)
Kuize Zhang
A unified concurrent-composition method to state/event inference and concealment in labeled finite-state automata as discrete-event systems. Annu. Rev. Control. 56 (2023)
Xiaoguang Han, Kuize Zhang, Jiahui Zhang, Zhiwu Li, Zengqiang Chen
Strong current-state and initial-state opacity of discrete-event systems. Autom. 148 (2023)
Kuize Zhang
Polynomial-Time Verification and Enforcement of Delayed Strong Detectability for Discrete-Event Systems. IEEE Trans. Autom. Control. 68 (1) (2023)
Weijie Dong, Xiang Yin, Kuize Zhang, Shaoyuan Li
On the Verification of Detectability for Timed Systems. ACC (2022)
Kuize Zhang
Synthesis for observability of logical control networks. Autom. 144 (2022)
Kuize Zhang
How attacks affect detectability in discrete-event systems? ACC (2022)
Xiaoguang Han, Kuize Zhang, Zhiwu Li
Verification of Strong K-Step Opacity for Discrete-Event Systems. CoRR (2022)
Xiaoguang Han, Kuize Zhang, Zhiwu Li
Verification of Strong K-Step Opacity for Discrete-Event Systems. CDC (2022)
Yuhu Wu, Shuting Le, Kuize Zhang, Xi-Ming Sun
Agent Transformation of Bayesian Games. IEEE Trans. Autom. Control. 67 (11) (2022)
Kuize Zhang
Detectability of labeled weighted automata over monoids. Discret. Event Dyn. Syst. 32 (3) (2022)
Kuize Zhang, Jörg Raisch
Diagnosability of labeled max-plus automata. CoRR (2021)
Kuize Zhang
State-Based Opacity of Real-Time Automata. AUTOMATA (2021)
Kuize Zhang
A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems. Fundam. Informaticae 181 (4) (2021)
Kuize Zhang, Jörg Raisch
Diagnosability of labeled weighted automata over the monoid (ℚ⩾0, +, 0). CDC (2021)
Kuize Zhang
A unified concurrent-composition method to state/event inference and concealment in discrete-event systems. CoRR (2021)
Xiaoguang Han, Kuize Zhang, Jiahui Zhang, Zhiwu Li, Zengqiang Chen
Strong current-state and initial-state opacity of discrete-event systems. CoRR (2021)
Kuize Zhang
A unified method to decentralized state inference and fault diagnosis/prediction of discrete-event systems. CoRR (2020)
Kuize Zhang, Alessandro Giua
On detectability of labeled Petri nets and finite automata. Discret. Event Dyn. Syst. 30 (3) (2020)
Xiaoye Gao, Jinhuan Wang, Kuize Zhang
Dynamics and control of evolutionary congestion games. Sci. China Inf. Sci. 63 (1) (2020)
Kuize Zhang
Basis for the quotient space of matrices under equivalence. Sci. China Inf. Sci. 63 (8) (2020)
Kuize Zhang
Detectability of labeled weighted (max-plus) automata. CoRR (2020)
Mahmoud Khaled, Kuize Zhang, Majid Zamani
Output-Feedback Symbolic Control. CoRR (2020)
Kuize Zhang, Karl Henrik Johansson
Efficient Verification of Observability and Reconstructibility for Large Boolean Control Networks With Special Structures. IEEE Trans. Autom. Control. 65 (12) (2020)
Kuize Zhang, Alessandro Giua
K-delayed strong detectability of discrete-event systems. CDC (2019)
Kuize Zhang, Karl Henrik Johansson
Synthesis for controllability and observability of logical control networks. CDC (2019)
Kuize Zhang, Xiang Yin, Majid Zamani
Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach. IEEE Trans. Autom. Control. 64 (12) (2019)
Kuize Zhang, Alessandro Giua
On detectability of labeled Petri nets with inhibitor arcs. CoRR (2018)
Kuize Zhang, Ting Liu, Daizhan Cheng
Observability of Finite Labeled Transition Systems. IEEE Trans. Autom. Control. 63 (6) (2018)
Kuize Zhang, Karl Henrik Johansson
An algorithm for computing explicit expressions for orthogonal projections onto finite-game subspaces. CDC (2018)
Dapeng Jiang, Kuize Zhang
Observability of Boolean Control Networks with Time-Variant Delays in States. J. Syst. Sci. Complex. 31 (2) (2018)
Kuize Zhang, Xiang Yin, Majid Zamani
Opacity of nondeterministic transition systems: A (bi)simulation relation approach. CoRR (2018)
Ping Sun, Lijun Zhang, Kuize Zhang
Reconstructibility of Boolean control networks with time delays in states. Kybernetika 54 (5) (2018)
Kuize Zhang, Lijun Zhang, Shaoshuai Mou
An Application of Invertibility of Boolean Control Networks to the Control of the Mammalian Cell Cycle. IEEE ACM Trans. Comput. Biol. Bioinform. 14 (1) (2017)
Kuize Zhang, Lijun Zhang
On eventual periodicity of networked evolutionary games. CASE (2017)
Kuize Zhang, Majid Zamani
Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach. CDC (2017)
Kuize Zhang
A note on stationary stable profiles of networked evolutionary games. ICCA (2017)
Kuize Zhang
The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete. Autom. 81 (2017)
Kuize Zhang, Lijun Zhang
Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata. IEEE Trans. Autom. Control. 61 (9) (2016)
Kuize Zhang, Lijun Zhang, Rong Su
A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks. SIAM J. Control. Optim. 54 (6) (2016)
Daizhan Cheng, Ting Liu, Kuize Zhang, Hongsheng Qi
On Decomposed Subspaces of Finite Games. IEEE Trans. Autom. Control. 61 (11) (2016)
Kuize Zhang
On nonsingularity of Boolean control networks. ACC (2016)
Kuize Zhang, Lijun Zhang
Controllability of probabilistic Boolean control networks with time-variant delays in states. Sci. China Inf. Sci. 59 (9) (2016)
Kuize Zhang, Lijun Zhang, Lihua Xie, Zhe Jiang
Using the theories of finite automata and formal languages to determine observability of switched Boolean control networks. CDC (2015)
Kuize Zhang, Lijun Zhang
Generalized Reversibility of Topological Dynamical Systems and Cellular Automata. J. Cell. Autom. 10 (5-6) (2015)
Kuize Zhang, Lijun Zhang, Lihua Xie
Invertibility and nonsingularity of Boolean control networks. Autom. 60 (2015)
Kuize Zhang, Nan Xiao, Lihua Xie, Emilio Frazzoli, Daniela Rus
Convergence speed analysis for evolutionary congestion games. ASCC (2015)
Kuize Zhang, Lijun Zhang, Fuchun Sun
High-Order S-Lemma with Application to Stability of a Class of Switched Nonlinear Systems. SIAM J. Control. Optim. 52 (1) (2014)
Lijun Zhang, Kuize Zhang
Controllability and Observability of Boolean Control Networks With Time-Variant Delays in States. IEEE Trans. Neural Networks Learn. Syst. 24 (9) (2013)
Kuize Zhang, Lijun Zhang
Controllability of probabilistic Boolean control networks with time-variant delays in states. CDC (2013)
Lijun Zhang, Kuize Zhang
Controllability of time-variant Boolean control networks and its application to Boolean control networks with finite memories. Sci. China Inf. Sci. 56 (10) (2013)
Kuize Zhang, Changjiang Bu
Group inverses of matrices over right Ore domains. Appl. Math. Comput. 218 (12) (2012)
Changjiang Bu, Min Li, Kuize Zhang, Lan Zheng
Group inverse for the block matrices with an invertible subblock. Appl. Math. Comput. 215 (1) (2009)