Biography

Affiliations and memberships

IEEE / Senior Member

Research

Research interests

Supervision

Postgraduate research supervision

My publications

Highlights

We are organising a workshop "Fundamental Topics in Control and Optimization of Boolean Networks --- Review and Outlook" in the 61st IEEE Conference on Decision and Control - Dec. 6-9, 2022, in Cancún, Mexico. 

Publications

K. Zhang (2022) Detectability of labeled weighted automata over monoids, Discrete Event Dynamic Systems, 60 pages, accepted in 2022.
K. Zhang (2023) Polynomial-time verification and enforcement of delayed strong detectability for discrete-event systems. IEEE Transactions on Automatic Control, accepted, 6 pages, accepted in 2021.
K. Zhang and L. Zhang and L. Xie (2020) Discrete-Time and Discrete-Space Dynamical Systems, of Communications and Control Engineering. Springer International Publishing, 222 pages, 2020.
K. Zhang (2021) A unified method to decentralized state detection and fault diagnosis/prediction of discrete-event systems. Fundamenta Informaticae, 181, 339-371, 2021.
K. Zhang and A. Giua (2020) On detectability of labeled Petri nets and finite automata. Discrete Event Dynamic Systems, 30 (3), 465-497, 2020.
K. Zhang (2017) The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete. Automatica, 81, 217-220, 2017.
K. Zhang and X. Yin and M. Zamani (2019) Opacity of nondeterministic transition systems: A (bi)simulation relation approach. IEEE Transactions on Automatic Control, 64 (12), 5116-5123, Dec 2019.
K. Zhang and K.H. Johansson (2020) Efficient verification of observability and reconstructibility for large Boolean control networks with special structures. IEEE Transactions on Automatic Control, 65 (12), 5144-5158, 2020.
K. Zhang and L. Zhang (2016) Observability of Boolean control networks: A unified approach based on finite automata. IEEE Transactions on Automatic Control, 61 (9), 2733-2738, Sept 2016.
K. Zhang and L. Zhang and L. Xie (2015) Invertibility and nonsingularity of Boolean control networks. Automatica, 60, 155-164, 2015.
K. Zhang and J. Raisch (2021) Diagnosability of labeled weighted automata over the monoid $(\mathbb{Q}_{\ge0},+,0)$. In the 60th IEEE Conference on Decision and Control, Austin, Texas, USA, December 13-15 2021.
K. Zhang (2021) State-based opacity of real-time automata. In 27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2021), Dagstuhl, Germany, 12:1–12:15, (Marseille, France, July 12–17 2021).
L. Zhang and K. Zhang (2013) Controllability and observability of Boolean control networks with time-variant delays in states. IEEE Transactions on Neural Networks and Learning Systems, 24(9), 1478-1484, 2013.
K. Zhang (2022) Synthesis for observability of logical control networks. Automatica, accepted in 2022.
K. Zhang (2022) How attacks affect detectability in discrete-event systems? 2022 American Control Conference, July 8-10, 2022, Atlanta, USA, accepted.
W. Dong, X. Yin, K. Zhang, S. Li (2022) On the verification of detectability for timed systems. 2022 American Control Conference, July 8-10, 2022, Atlanta, USA, accepted.
T. Zhang, K. Zhang (2022) Eventual strong detectability of labeled weighted automata over monoids, accepted, 16th IFAC Workshop on Discrete Event Systems, September 7-8, 2022, Prague, Czechia