direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Logo der TU Berlin

Inhalt des Dokuments

Kuize Zhang

From Fachgebiet Regelungssysteme TU Berlin

Jump to: navigation, search

Address

Kuize Zhang

Technische Universität Berlin
Fachgebiet Regelungssysteme
Sekretariat EN11
Einsteinufer 17
D-10587 Berlin
Germany

Office: EN 238(Elektrotechnik Neubau)
Phone: +49 (0)30 314-25134
Fax: +49 (0)30 314-21137
Email: kuize.zhang@campus.tu-berlin.de


Brief biography

I am currently a Humboldt fellow at TU Berlin.

I was a postdoc at KTH Sweden from 2017 to 2020 and also a postdoc at TU Munich from 2016 to 2017. I am a Senior Member of IEEE (2017-present), and obtained the 2016 Chinese Association of Automation (CAA) Outstanding Doctoral Thesis Nomination Award.

Research

My research interests include, discrete systems (Boolean networks, finite automata, Petri nets, weighted/max-plus automata, cellular automata), hybrid systems (timed automata, switched systems), formal methods, , etc. I have been working on decidability and complexity of several fundamental properties (such as invertibility, observability, detectability, opacity, etc.), and also aiming at exploring similarities and differences of dynamical behavior among different types of discrete-time and discrete-space dynamical systems. The application areas of my research include systems biology, cyber-security, etc.

Representative works include (1) high-order S-lemma with applications to stability of switched nonlinear systems, (2) the notion of invertibility of Boolean control networks with applications to the mammalian cell cycle, (3) a unified verification method for four notions of observability of Boolean control networks, and efficient verification algorithms of observability of several important classes of large-scale Boolean control networks with applications to the T-cell receptor kinetics, (4) PSPACE-completeness of verifying weak (periodic) detectability of discrete-event systems, (5) (bi)simulation relations preserving notions of state-based opacity in (infinite-state) transition systems, (6) the notion of eventual strong detectability of finite-state automata and labeled Petri nets, (7) the notion of decentralized detectability of finite-state automata, (9) detectability of labeled weighted automata over monoids, (10) state-based opacity of real-time automata.

Recent contributions: (1) (a decentralized setting of) three fundamental inference-based properties --- strong detectability, diagnosability, and predictability in finite automata have been unified into one mathematical framework, (2) studies of fundamental properties in finite automata have been extended to weighted automata over monoids (particularly over the monoid $(\mathbb{Q}^k,+)$) and real-time automata by developing original methods, (3) polynomial-time enforcement algorithms for polynomially verifiable inference-based properties in finite automata have been designed, strengthening the exponential-time enforcement algorithms in the classical supervisory control framework.

Teaching

Conference Talks

2021

"State-based opacity of real-time automata" AUTOMATA & WAN 2021, July 12-17, Marseille, France

. State-based opacity of real-time automata. 2021.

Invited Talks

2021

"Efficient observability verification for special large-scale Boolean control networks with applications to Boolean biological systems" https://ecc21.euca-ecc.org/workshops/#Workshop6, Pre-conference Workshop of 2021 European Control Conference, Rotterdam, the Netherlands (online)

. Efficient observability verification for special large-scale Boolean control networks

with applications to Boolean biological systems
. 2021.

2020

"Observability of large-scale Boolean control networks with applications to the T-cell receptor kinetics", 9 July, 2020, Westlake University, Hangzhou, China

“On detectability of finite automata and labeled Petri nets”, 12 June, 2020, Institut de Recherche en Informatique Fondamentale (IRIF), CNRS, Paris, France (online talk)

2019

“Towards large-scale Boolean control networks, networked discrete-event systems, and cyber-physical systems”, 18 December, 2019, Laboratoire Spécification et Vérification (LSV), CNRS, Paris, France

2018

“Invertibility of Boolean control networks with applications to some biological systems”, 16 July, 2018, Technical University of Berlin, Berlin, Germany

Publications

Books

K. Zhang, L. Zhang, L. Xie. Discrete-Time and Discrete-Space Dynamical Systems, of Communications and Control Engineering. Springer International Publishing, 2020.

Journal publications

On the semitensor of matrices

K. Zhang. Basis for the linear space of matrices under equivalence. Science China Information Sciences Information Sciences, accepted.

Finite-state automata and Petri nets

K. Zhang. A unified method to decentralized state detection and fault diagnosis/prediction of discrete-event systems. Fundamenta Informaticae, accepted page 33, 2021.
Zhang, K., Giua, A.. On detectability of labeled Petri nets and finite automata. Discrete Event Dynamic Systems, 30 (3):465–497, 2020.
X. Han, Z. Chen, K. Zhang, Z. Liu, Q. Zhang. Modeling, reachability and controllability of bounded Petri nets based on semi‐tensor product of matrices. Asian Journal of Control, 22 (1):1–11, 2020.
K. Zhang. The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete. Automatica, 81 pages 217–220, 2017.

Transition systems

K. Zhang, X. Yin, M. Zamani. Opacity of nondeterministic transition systems: A (bi)simulation relation approach. IEEE Transactions on Automatic Control, 64 (12):5116–5123, Dec 2019.
K. Zhang, T. Liu, D. Cheng. Observability of finite labeled transition systems. IEEE Transactions on Automatic Control, 63 (6):1501–1512, June 2018.

Boolean control networks

K. Zhang, K. H. Johansson. 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, L. Zhang, S. Mou. An application of invertibility of Boolean control networks to the control of the mammalian cell cycle. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 14 (1):225–229, Jan 2017.
K. Zhang, L. Zhang, R. Su. A weighted pair graph representation for reconstructibility of Boolean control networks. SIAM Journal on Control and Optimization, 54 (6):3040–3060, 2016.
K. Zhang, L. Zhang, L. Xie. Invertibility and nonsingularity of Boolean control networks. Automatica, 60 pages 155–164, 2015.
K. Zhang, L. Zhang. 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, L. Zhang, L. Xie. Finite automata approach to observability of switched Boolean control networks. Nonlinear Analysis: Hybrid Systems, 19 pages 186–197, 2016.
Zhang, K., Zhang, L.. Controllability of probabilistic Boolean control networks with time-variant delays in states. Science China Information Sciences, 59 (9):92204, 2016.
Zhang, L., Zhang, K.. Controllability of time-variant Boolean control networks and its application to Boolean control networks with finite memories. Science China Information Sciences, 56 (10):1–12, 2013.
L. Zhang, K. Zhang. 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.

Cellular automata

K. Zhang, L. Zhang. Generalized reversibility of topological dynamical systems and cellular automata. Journal of Cellular Automata, 10 pages 425–434, 2015.

Game theory

Gao, X., Wang, J., Zhang, K.. Dynamics and control of evolutionary congestion games. Science China Information Sciences, 63 (6):169203, 2020.
D. Cheng, T. Liu, K. Zhang, H. Qi. On Decomposed Subspaces of Finite Games. IEEE Transactions on Automatic Control, 61 (11):3651–3656, Nov 2016.

Switched nonlinear systems

Zhang, K., Zhang, L., Sun, F.. High-order S-lemma with application to stability of a class of switched nonlinear systems. SIAM Journal on Control and Optimization, 52 (1):120–142, 2014.
Zhang, L., Zhang, K.. $L_2$ stability, H control of switched homogeneous nonlinear systems and their semi-tensor product of matrices representation. International Journal of Robust and Nonlinear Control, 23 (6):638–652, 2013.

Generalized inverses of matrices over non-commutative rings

K. Zhang, C. Bu. Group inverses of matrices over right Ore domains. Applied Mathematics and Computation, 218 (12):6942–6953, 2012.

Conference publications

Weighted automata over monoids

K. Zhang, J. Raisch. 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, accepted.

Timed automata

K. Zhang. 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, 2021, pages 12:1–12:15, (Marseille, France, July 12–17 2021).

Finite-state automata and Petri nets

K. Zhang, A. Giua. Instant detectability of discrete-event systems. In Proceedings of the 21st IFAC World Congress, Berlin, Germany, July 12–17 2020.
K. Zhang, L. Feng. Revisiting strong detectability of networked discrete-event systems. In Proceedings of 15th IFAC Workshop on Discrete Event Systems (Virtual Conference), pages 21–27, Rio de Janeiro, Brazil., November 11–13 2020.
K. Zhang, A. Giua. $K$-delayed strong detectability of discrete-event systems. In Proceedings of the 58th IEEE Conference on Decision and Control (CDC), pages 7647–7652, Dec 2019.
K. Zhang, A. Giua. Weak (approximate) detectability of labeled Petri net systems with inhibitor arcs. IFAC-PapersOnLine, 51 (7):167–171, 2018. 14th IFAC Workshop on Discrete Event Systems WODES 2018.

Transition systems

K. Zhang, M. Zamani. Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach. In Proceedings of the 56th IEEE Conference on Decision and Control, pages 5615–5619, December 2017.
K. Zhang, M. Zamani. Detectability of nondeterministic finite transition systems. In IFAC PapersOnline, volume 50-1 pages 9272–9277, 2017.

Game theory

K. Zhang, K. H. Johansson. An algorithm for computing explicit expressions for orthogonal projections onto finite-game subspaces. In 2018 IEEE Conference on Decision and Control (CDC), pages 3196–3202, Dec 2018.
K. Zhang. A note on stationary stable profiles of networked evolutionary games. In 2017 13th IEEE International Conference on Control Automation (ICCA), pages 209–211, July 2017.
K. Zhang. Polynomial representation for orthogonal projections onto subspaces of finite games. In 2017 36th Chinese Control Conference (CCC), pages 11267–11272, July 2017.

Cross-dimensional systems

K. Zhang, K. H. Johansson. Long-term behavior of cross-dimensional linear dynamical systems. In 2018 37th Chinese Control Conference (CCC), pages 158–163, July 2018.

Cellular automata

J. Kari, K. Zhang. Two transitive cellular automata and their strictly temporally periodic points. In Proceedings of the 19th International Workshop on Cellular Automata and Discrete Complex Systems, pages 39–47, 2013.

Recommend this page