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 was 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) open-loop polynomial-time enforcement algorithms for polynomially verifiable inference-based properties in finite automata have been designed, which work remarkably differently from the closed-loop 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.
Bibtex
Author :
Title : State-based opacity of real-time automata
In :
      2021.
Date : 2021
 | PDF 

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.
Bibtex
Author :
Title : Efficient observability verification for special large-scale Boolean control networks with applications to Boolean biological systems
In :
      2021.
Date : 2021
 | PDF 

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

Drafts

Kuize Zhang. A unified concurrent-composition method to state/event inference and concealment in discrete-event systems. page 16, 2021.
Bibtex
Author : Kuize Zhang
Title : A unified concurrent-composition method to state/event inference and concealment in discrete-event systems
In :
      page 16, 2021.
Date : 2021
 | PDF 

Books

K. Zhang, L. Zhang, L. Xie. Discrete-Time and Discrete-Space Dynamical Systems, of Communications and Control Engineering. Springer International Publishing, 2020.
Bibtex
Author : K. Zhang, L. Zhang, L. Xie
Title : Discrete-Time and Discrete-Space Dynamical Systems, of Communications and Control Engineering. Springer International Publishing, 2020.
Date : 2020
 | Link 

Journal publications

On weighted automata over monoids

K. Zhang. Detectability of labeled weighted automata over monoids. Discrete Event Dynamic Systems, page 64, 2022, accepted.
Bibtex
Author : K. Zhang
Title : Detectability of labeled weighted automata over monoids
In : Discrete Event Dynamic Systems,
      page 64, 2022, accepted.
Date : 2022, accepted
 | Link 

On the semitensor of matrices

K. Zhang. Basis for the linear space of matrices under equivalence. Science China Information Sciences Information Sciences, accepted.
Bibtex
Author : K. Zhang
Title : Basis for the linear space of matrices under equivalence
In : Science China Information Sciences Information Sciences,
      accepted.
Date : accepted
 | Link 

Finite-state automata and Petri nets

K. Zhang. Polynomial-time verification and enforcement of delayed strong detectability for discrete-event systems. IEEE Transactions on Automatic Control, accepted page 6, 2021.
Bibtex
Author : K. Zhang
Title : Polynomial-time verification and enforcement of delayed strong detectability for discrete-event systems
In : IEEE Transactions on Automatic Control,
      accepted page 6, 2021.
Date : 2021
 | DOI 
K. Zhang. A unified method to decentralized state detection and fault diagnosis/prediction of discrete-event systems. Fundamenta Informaticae, 181 pages 339–371, 2021.
Bibtex
Author : K. Zhang
Title : A unified method to decentralized state detection and fault diagnosis/prediction of discrete-event systems
In : Fundamenta Informaticae,
      181 pages 339–371, 2021.
Date : 2021
 | DOI 
Zhang, K., Giua, A.. On detectability of labeled Petri nets and finite automata. Discrete Event Dynamic Systems, 30 (3):465–497, 2020.
Bibtex
Author : Zhang, K., Giua, A.
Title : On detectability of labeled Petri nets and finite automata
In : Discrete Event Dynamic Systems,
      30 (3):465–497, 2020.
Date : 2020
 | Abstract | DOI | Link 
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.
Bibtex
Author : X. Han, Z. Chen, K. Zhang, Z. Liu, Q. Zhang
Title : Modeling, reachability and controllability of bounded Petri nets based on semi‐tensor product of matrices
In : Asian Journal of Control,
      22 (1):1–11, 2020.
Date : 2020
 
K. Zhang. The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete. Automatica, 81 pages 217–220, 2017.
Bibtex
Author : K. Zhang
Title : The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete
In : Automatica,
      81 pages 217–220, 2017.
Date : 2017
 | Abstract | DOI | Link 

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.
Bibtex
Author : K. Zhang, X. Yin, M. Zamani
Title : Opacity of nondeterministic transition systems: A (bi)simulation relation approach
In : IEEE Transactions on Automatic Control,
      64 (12):5116–5123, Dec 2019.
Date : Dec 2019
 | DOI 
K. Zhang, T. Liu, D. Cheng. Observability of finite labeled transition systems. IEEE Transactions on Automatic Control, 63 (6):1501–1512, June 2018.
Bibtex
Author : K. Zhang, T. Liu, D. Cheng
Title : Observability of finite labeled transition systems
In : IEEE Transactions on Automatic Control,
      63 (6):1501–1512, June 2018.
Date : June 2018
 | DOI 

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.
Bibtex
Author : K. Zhang, K. H. Johansson
Title : Efficient verification of observability and reconstructibility for large Boolean control networks with special structures
In : IEEE Transactions on Automatic Control,
      65 (12):5144–5158, 2020.
Date : 2020
 | DOI 
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.
Bibtex
Author : K. Zhang, L. Zhang, S. Mou
Title : An application of invertibility of Boolean control networks to the control of the mammalian cell cycle
In : IEEE/ACM Transactions on Computational Biology and Bioinformatics,
      14 (1):225–229, Jan 2017.
Date : 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.
Bibtex
Author : K. Zhang, L. Zhang, R. Su
Title : A weighted pair graph representation for reconstructibility of Boolean control networks
In : SIAM Journal on Control and Optimization,
      54 (6):3040–3060, 2016.
Date : 2016
 | DOI | Link 
K. Zhang, L. Zhang, L. Xie. Invertibility and nonsingularity of Boolean control networks. Automatica, 60 pages 155–164, 2015.
Bibtex
Author : K. Zhang, L. Zhang, L. Xie
Title : Invertibility and nonsingularity of Boolean control networks
In : Automatica,
      60 pages 155–164, 2015.
Date : 2015
 | Abstract | DOI | Link 
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.
Bibtex
Author : K. Zhang, L. Zhang
Title : Observability of Boolean control networks: A unified approach based on finite automata
In : IEEE Transactions on Automatic Control,
      61 (9):2733–2738, Sept 2016.
Date : Sept 2016
 | DOI 
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.
Bibtex
Author : K. Zhang, L. Zhang, L. Xie
Title : Finite automata approach to observability of switched Boolean control networks
In : Nonlinear Analysis: Hybrid Systems,
      19 pages 186–197, 2016.
Date : 2016
 | Abstract | DOI | Link 
Zhang, K., Zhang, L.. Controllability of probabilistic Boolean control networks with time-variant delays in states. Science China Information Sciences, 59 (9):92204, 2016.
Bibtex
Author : Zhang, K., Zhang, L.
Title : Controllability of probabilistic Boolean control networks with time-variant delays in states
In : Science China Information Sciences,
      59 (9):92204, 2016.
Date : 2016
 | Abstract | DOI | Link 
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.
Bibtex
Author : Zhang, L., Zhang, K.
Title : Controllability of time-variant Boolean control networks and its application to Boolean control networks with finite memories
In : Science China Information Sciences,
      56 (10):1–12, 2013.
Date : 2013
 | Abstract | DOI | Link 
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.
Bibtex
Author : L. Zhang, K. Zhang
Title : Controllability and observability of Boolean control networks with time-variant delays in states
In : IEEE Transactions on Neural Networks and Learning Systems,
      24 (9):1478–1484, 2013.
Date : 2013
 | DOI 

Cellular automata

K. Zhang, L. Zhang. Generalized reversibility of topological dynamical systems and cellular automata. Journal of Cellular Automata, 10 pages 425–434, 2015.
Bibtex
Author : K. Zhang, L. Zhang
Title : Generalized reversibility of topological dynamical systems and cellular automata
In : Journal of Cellular Automata,
      10 pages 425–434, 2015.
Date : 2015
 

Game theory

Gao, X., Wang, J., Zhang, K.. Dynamics and control of evolutionary congestion games. Science China Information Sciences, 63 (6):169203, 2020.
Bibtex
Author : Gao, X., Wang, J., Zhang, K.
Title : Dynamics and control of evolutionary congestion games
In : Science China Information Sciences,
      63 (6):169203, 2020.
Date : 2020
 | DOI | Link 
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.
Bibtex
Author : D. Cheng, T. Liu, K. Zhang, H. Qi
Title : On Decomposed Subspaces of Finite Games
In : IEEE Transactions on Automatic Control,
      61 (11):3651–3656, Nov 2016.
Date : Nov 2016
 | DOI 

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.
Bibtex
Author : Zhang, K., Zhang, L., Sun, F.
Title : High-order S-lemma with application to stability of a class of switched nonlinear systems
In : SIAM Journal on Control and Optimization,
      52 (1):120–142, 2014.
Date : 2014
 | DOI | Link 
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.
Bibtex
Author : Zhang, L., Zhang, K.
Title : $L_2$ stability, H∞ control of switched homogeneous nonlinear systems and their semi-tensor product of matrices representation
In : International Journal of Robust and Nonlinear Control,
      23 (6):638–652, 2013.
Date : 2013
 | Abstract | DOI | Link 

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.
Bibtex
Author : K. Zhang, C. Bu
Title : Group inverses of matrices over right Ore domains
In : Applied Mathematics and Computation,
      218 (12):6942–6953, 2012.
Date : 2012
 | Abstract | DOI | Link 

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.
Bibtex
Author : K. Zhang, J. Raisch
Title : Diagnosability of labeled weighted automata over the monoid $(\mathbb{Q}_{\ge0},+,0)$
In : In the 60th IEEE Conference on Decision and Control,
      Austin, Texas, USA, December 13–15 2021, accepted.
Date : 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).
Bibtex
Author : K. Zhang
Title : State-based opacity of real-time automata
In : 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).
Date : 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.
Bibtex
Author : K. Zhang, A. Giua
Title : Instant detectability of discrete-event systems
In : In Proceedings of the 21st IFAC World Congress,
      Berlin, Germany, July 12–17 2020.
Date : 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.
Bibtex
Author : K. Zhang, L. Feng
Title : Revisiting strong detectability of networked discrete-event systems
In : In Proceedings of 15th IFAC Workshop on Discrete Event Systems (Virtual Conference),
      pages 21–27, Rio de Janeiro, Brazil., November 11–13 2020.
Date : 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.
Bibtex
Author : K. Zhang, A. Giua
Title : $K$-delayed strong detectability of discrete-event systems
In : In Proceedings of the 58th IEEE Conference on Decision and Control (CDC),
      pages 7647–7652, Dec 2019.
Date : Dec 2019
 | DOI 
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.
Bibtex
Author : K. Zhang, A. Giua
Title : Weak (approximate) detectability of labeled Petri net systems with inhibitor arcs
In : IFAC-PapersOnLine,
      51 (7):167–171, 2018. 14th IFAC Workshop on Discrete Event Systems WODES 2018.
Date : 2018
 | Abstract | DOI | Link 

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.
Bibtex
Author : K. Zhang, M. Zamani
Title : Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach
In : In Proceedings of the 56th IEEE Conference on Decision and Control,
      pages 5615–5619, December 2017.
Date : December 2017
 
K. Zhang, M. Zamani. Detectability of nondeterministic finite transition systems. In IFAC PapersOnline, volume 50-1 pages 9272–9277, 2017.
Bibtex
Author : K. Zhang, M. Zamani
Title : Detectability of nondeterministic finite transition systems
In : In IFAC PapersOnline,
      volume 50-1 pages 9272–9277, 2017.
Date : 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.
Bibtex
Author : K. Zhang, K. H. Johansson
Title : An algorithm for computing explicit expressions for orthogonal projections onto finite-game subspaces
In : In 2018 IEEE Conference on Decision and Control (CDC),
      pages 3196–3202, Dec 2018.
Date : Dec 2018
 | DOI 
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.
Bibtex
Author : K. Zhang
Title : A note on stationary stable profiles of networked evolutionary games
In : In 2017 13th IEEE International Conference on Control Automation (ICCA),
      pages 209–211, July 2017.
Date : July 2017
 | DOI 
K. Zhang. Polynomial representation for orthogonal projections onto subspaces of finite games. In 2017 36th Chinese Control Conference (CCC), pages 11267–11272, July 2017.
Bibtex
Author : K. Zhang
Title : Polynomial representation for orthogonal projections onto subspaces of finite games
In : In 2017 36th Chinese Control Conference (CCC),
      pages 11267–11272, July 2017.
Date : July 2017
 | DOI 

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.
Bibtex
Author : K. Zhang, K. H. Johansson
Title : Long-term behavior of cross-dimensional linear dynamical systems
In : In 2018 37th Chinese Control Conference (CCC),
      pages 158–163, July 2018.
Date : 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.
Bibtex
Author : J. Kari, K. Zhang
Title : Two transitive cellular automata and their strictly temporally periodic points
In : In Proceedings of the 19th International Workshop on Cellular Automata and Discrete Complex Systems,
      pages 39–47, 2013.
Date : 2013
 
Retrieved from "https://www.control.tu-berlin.de/User:Kuize_Zhang"

Recommend this page