Concepedia

Kuize Zhang

KZ

Statistics

Publications

33

Citations

1.3K

H-Index

19

Active since

2009

Affiliations

Harbin Engineering University(Current)

Chinese Academy of Sciences

Northwestern Polytechnical University

KTH Royal Institute of Technology

University of Surrey

Kuize Zhang is an author at Harbin Engineering University specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsFormal VerificationVerificationComputational ComplexityAutomated ReasoningNetwork AnalysisNetworked Control

Publications per year

2009–2023

33

Publications

33

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

Kuize Zhang, Lijun Zhang · IEEE Transactions on Automatic Control · 2015 · 165 citations · Full text

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

Lijun Zhang, Kuize Zhang · IEEE Transactions on Neural Networks and Learning Systems · 2013 · 153 citations

Controllability Theorems, Time Delay System, Engineering +15

Efficient Verification of Observability and Reconstructibility for Large Boolean Control Networks With Special Structures

Kuize Zhang, Karl Henrik Johansson · IEEE Transactions on Automatic Control · 2020 · 79 citations

Circuit Complexity, Engineering, Reachability Problem +20

Invertibility and nonsingularity of Boolean control networks

Kuize Zhang, Lijun Zhang, Lihua Xie · Automatica · 2015 · 78 citations

Circuit Complexity, Engineering, Boolean Function +4

On Decomposed Subspaces of Finite Games

Daizhan Cheng, Ting Liu, Kuize Zhang et al. · IEEE Transactions on Automatic Control · 2016 · 71 citations

Mathematical Programming, Differential Game, Engineering +14

1–5 of 33