Kuize Zhang

According to our database, Kuize Zhang authored at least 56 papers between 2009 and 2024.

Collaborative distances:

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

2024

Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems.

Xiaoguang Han, Kuize Zhang, Zhiwu Li

CoRR, 2024

2023

Embedding Cross-Dimensional Vector Space into ℓ².

Shengli Xue, Lijun Zhang, Zhiqi Xie, Weijun Yan, Kuize Zhang

J. Syst. Sci. Complex., December, 2023

A Framework for Output-Feedback Symbolic Control.

Mahmoud Khaled, Kuize Zhang, Majid Zamani

IEEE Trans. Autom. Control., September, 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

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., January, 2023

Polynomial-Time Verification and Enforcement of Delayed Strong Detectability for Discrete-Event Systems.

Kuize Zhang

IEEE Trans. Autom. Control., 2023

A New Framework for Discrete-Event Systems.

Kuize Zhang

Found. Trends Syst. Control., 2023

Removing Two Fundamental Assumptions in Verifying Strong Periodic (D-)Detectability of Discrete-Event Systems.

Kuize Zhang

IEEE Control. Syst. Lett., 2023

Structural Properties of Invariant Dual Subspaces of Boolean Networks.

Dongyao Bi, Lijun Zhang, Kuize Zhang

CoRR, 2023

2022

Agent Transformation of Bayesian Games.

Yuhu Wu, Shuting Le, Kuize Zhang, Xi-Ming Sun

IEEE Trans. Autom. Control., 2022

Detectability of labeled weighted automata over monoids.

Kuize Zhang

Discret. Event Dyn. Syst., 2022

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

Xiaoguang Han, Kuize Zhang, Zhiwu Li

CoRR, 2022

Synthesis for observability of logical control networks.

Kuize Zhang

Autom., 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

How attacks affect detectability in discrete-event systems?

Kuize Zhang

Proceedings of the American Control Conference, 2022

On the Verification of Detectability for Timed Systems.

Weijie Dong, Xiang Yin, Kuize Zhang, Shaoyuan Li

Proceedings of the American Control Conference, 2022

2021

A Unified Method to Decentralized State Detection and Fault Diagnosis/prediction of Discrete-event Systems.

Kuize Zhang

Fundam. Informaticae, 2021

A unified concurrent-composition method to state/event inference and concealment in discrete-event systems.

Kuize Zhang

CoRR, 2021

Diagnosability of labeled max-plus automata.

Kuize Zhang, Jörg Raisch

CoRR, 2021

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

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

CoRR, 2021

Diagnosability of labeled weighted automata over the monoid (ℚ⩾0, +, 0).

Kuize Zhang, Jörg Raisch

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

State-Based Opacity of Real-Time Automata.

Kuize Zhang

Proceedings of the 27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, 2021

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

On detectability of labeled Petri nets and finite automata.

Kuize Zhang, Alessandro Giua

Discret. Event Dyn. Syst., 2020

Output-Feedback Symbolic Control.

Mahmoud Khaled, Kuize Zhang, Majid Zamani

CoRR, 2020

Detectability of labeled weighted (max-plus) automata.

Kuize Zhang

CoRR, 2020

A unified method to decentralized state inference and fault diagnosis/prediction of discrete-event systems.

Kuize Zhang

CoRR, 2020

Basis for the quotient space of matrices under equivalence.

Kuize Zhang

Sci. China Inf. Sci., 2020

Dynamics and control of evolutionary congestion games.

Xiaoye Gao, Jinhuan Wang, Kuize Zhang

Sci. China Inf. Sci., 2020

2019

Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach.

Kuize Zhang, Xiang Yin, Majid Zamani

IEEE Trans. Autom. Control., 2019

Synthesis for controllability and observability of logical control networks.

Kuize Zhang, Karl Henrik Johansson

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

K-delayed strong detectability of discrete-event systems.

Kuize Zhang, Alessandro Giua

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

Observability of Finite Labeled Transition Systems.

Kuize Zhang, Ting Liu, Daizhan Cheng

IEEE Trans. Autom. Control., 2018

Reconstructibility of Boolean control networks with time delays in states.

Ping Sun, Lijun Zhang, Kuize Zhang

Kybernetika, 2018

Observability of Boolean Control Networks with Time-Variant Delays in States.

Dapeng Jiang, Kuize Zhang

J. Syst. Sci. Complex., 2018

On detectability of labeled Petri nets with inhibitor arcs.

Kuize Zhang, Alessandro Giua

CoRR, 2018

An algorithm for computing explicit expressions for orthogonal projections onto finite-game subspaces.

Kuize Zhang, Karl Henrik Johansson

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

An Application of Invertibility of Boolean Control Networks to the Control of the Mammalian Cell Cycle.

Kuize Zhang, Lijun Zhang, Shaoshuai Mou

IEEE ACM Trans. Comput. Biol. Bioinform., 2017

The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete.

Kuize Zhang

Autom., 2017

A note on stationary stable profiles of networked evolutionary games.

Kuize Zhang

Proceedings of the 13th IEEE International Conference on Control & Automation, 2017

Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach.

Kuize Zhang, Majid Zamani

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

On eventual periodicity of networked evolutionary games.

Kuize Zhang, Lijun Zhang

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

2016

Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata.

Kuize Zhang, Lijun Zhang

IEEE Trans. Autom. Control., 2016

On Decomposed Subspaces of Finite Games.

Daizhan Cheng, Ting Liu, Kuize Zhang, Hongsheng Qi

IEEE Trans. Autom. Control., 2016

A Weighted Pair Graph Representation for Reconstructibility of Boolean Control Networks.

Kuize Zhang, Lijun Zhang, Rong Su

SIAM J. Control. Optim., 2016

Controllability of probabilistic Boolean control networks with time-variant delays in states.

Kuize Zhang, Lijun Zhang

Sci. China Inf. Sci., 2016

On nonsingularity of Boolean control networks.

Kuize Zhang

Proceedings of the 2016 American Control Conference, 2016

2015

Generalized Reversibility of Topological Dynamical Systems and Cellular Automata.

Kuize Zhang, Lijun Zhang

J. Cell. Autom., 2015

Invertibility and nonsingularity of Boolean control networks.

Kuize Zhang, Lijun Zhang, Lihua Xie

Autom., 2015

Using the theories of finite automata and formal languages to determine observability of switched Boolean control networks.

Kuize Zhang, Lijun Zhang, Lihua Xie, Zhe Jiang

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Convergence speed analysis for evolutionary congestion games.

Kuize Zhang, Nan Xiao, Lihua Xie, Emilio Frazzoli, Daniela Rus

Proceedings of the 10th Asian Control Conference, 2015

2014

High-Order S-Lemma with Application to Stability of a Class of Switched Nonlinear Systems.

Kuize Zhang, Lijun Zhang, Fuchun Sun

SIAM J. Control. Optim., 2014

2013

Controllability and Observability of Boolean Control Networks With Time-Variant Delays in States.

Lijun Zhang, Kuize Zhang

IEEE Trans. Neural Networks Learn. Syst., 2013

Controllability of time-variant Boolean control networks and its application to Boolean control networks with finite memories.

Lijun Zhang, Kuize Zhang

Sci. China Inf. Sci., 2013

2012

Group inverses of matrices over right Ore domains.

Kuize Zhang, Changjiang Bu

Appl. Math. Comput., 2012

2009

Group inverse for the block matrices with an invertible subblock.

Changjiang Bu, Min Li, Kuize Zhang, Lan Zheng

Appl. Math. Comput., 2009