Inhalt des Dokuments
Kuize Zhang
From Fachgebiet Regelungssysteme TU Berlin
Address

Kuize Zhang Technische Universität Berlin | |
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) 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
- Finite-State Dynamical Systems, since WS 2021/22
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.
- BibtexAuthor :| PDF
Title : State-based opacity of real-time automata
In :
2021.
Date : 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.
- BibtexAuthor :| PDF
Title : Efficient observability verification for special large-scale Boolean control networks with applications to Boolean biological systems
In :
2021.
Date : 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
Drafts
- Kuize Zhang. A unified concurrent-composition method to state/event inference and concealment in discrete-event systems. page 16, 2021.
- BibtexAuthor : Kuize Zhang| PDF
Title : A unified concurrent-composition method to state/event inference and concealment in discrete-event systems
In :
page 16, 2021.
Date : 2021
Books
- K. Zhang, L. Zhang, L. Xie. Discrete-Time and Discrete-Space Dynamical Systems, of Communications and Control Engineering. Springer International Publishing, 2020.
- BibtexAuthor : K. Zhang, L. Zhang, L. Xie| Link
Title : Discrete-Time and Discrete-Space Dynamical Systems, of Communications and Control Engineering. Springer International Publishing, 2020.
Date : 2020
Journal publications
On weighted automata over monoids
- K. Zhang. Detectability of labeled weighted automata over monoids. Discrete Event Dynamic Systems, page 64, 2022, accepted.
- BibtexAuthor : K. Zhang| Link
Title : Detectability of labeled weighted automata over monoids
In : Discrete Event Dynamic Systems,
page 64, 2022, accepted.
Date : 2022, accepted
On the semitensor of matrices
- K. Zhang. Basis for the linear space of matrices under equivalence. Science China Information Sciences Information Sciences, accepted.
- BibtexAuthor : K. Zhang| Link
Title : Basis for the linear space of matrices under equivalence
In : Science China Information Sciences Information Sciences,
accepted.
Date : accepted
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.
- BibtexAuthor : K. Zhang| DOI
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
- K. Zhang. A unified method to decentralized state detection and fault diagnosis/prediction of discrete-event systems. Fundamenta Informaticae, 181 pages 339–371, 2021.
- BibtexAuthor : K. Zhang| DOI
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
- Zhang, K., Giua, A.. On detectability of labeled Petri nets and finite automata. Discrete Event Dynamic Systems, 30 (3):465–497, 2020.
- BibtexAuthor : Zhang, K., Giua, A.| Abstract | DOI | Link
Title : On detectability of labeled Petri nets and finite automata
In : Discrete Event Dynamic Systems,
30 (3):465–497, 2020.
Date : 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.
- BibtexAuthor : 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.
- BibtexAuthor : K. Zhang| Abstract | DOI | Link
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
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.
- BibtexAuthor : K. Zhang, X. Yin, M. Zamani| DOI
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
- K. Zhang, T. Liu, D. Cheng. Observability of finite labeled transition systems. IEEE Transactions on Automatic Control, 63 (6):1501–1512, June 2018.
- BibtexAuthor : K. Zhang, T. Liu, D. Cheng| DOI
Title : Observability of finite labeled transition systems
In : IEEE Transactions on Automatic Control,
63 (6):1501–1512, June 2018.
Date : 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.
- BibtexAuthor : K. Zhang, K. H. Johansson| DOI
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
- 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.
- BibtexAuthor : 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.
- BibtexAuthor : K. Zhang, L. Zhang, R. Su| DOI | Link
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
- K. Zhang, L. Zhang, L. Xie. Invertibility and nonsingularity of Boolean control networks. Automatica, 60 pages 155–164, 2015.
- BibtexAuthor : K. Zhang, L. Zhang, L. Xie| Abstract | DOI | Link
Title : Invertibility and nonsingularity of Boolean control networks
In : Automatica,
60 pages 155–164, 2015.
Date : 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.
- BibtexAuthor : K. Zhang, L. Zhang| DOI
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
- 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.
- BibtexAuthor : K. Zhang, L. Zhang, L. Xie| Abstract | DOI | Link
Title : Finite automata approach to observability of switched Boolean control networks
In : Nonlinear Analysis: Hybrid Systems,
19 pages 186–197, 2016.
Date : 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.
- BibtexAuthor : Zhang, K., Zhang, L.| Abstract | DOI | Link
Title : Controllability of probabilistic Boolean control networks with time-variant delays in states
In : Science China Information Sciences,
59 (9):92204, 2016.
Date : 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.
- BibtexAuthor : Zhang, L., Zhang, K.| Abstract | DOI | Link
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
- 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.
- BibtexAuthor : L. Zhang, K. Zhang| DOI
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
Cellular automata
- K. Zhang, L. Zhang. Generalized reversibility of topological dynamical systems and cellular automata. Journal of Cellular Automata, 10 pages 425–434, 2015.
- BibtexAuthor : 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.
- BibtexAuthor : Gao, X., Wang, J., Zhang, K.| DOI | Link
Title : Dynamics and control of evolutionary congestion games
In : Science China Information Sciences,
63 (6):169203, 2020.
Date : 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.
- BibtexAuthor : D. Cheng, T. Liu, K. Zhang, H. Qi| DOI
Title : On Decomposed Subspaces of Finite Games
In : IEEE Transactions on Automatic Control,
61 (11):3651–3656, Nov 2016.
Date : 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.
- BibtexAuthor : Zhang, K., Zhang, L., Sun, F.| DOI | Link
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
- 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.
- BibtexAuthor : Zhang, L., Zhang, K.| Abstract | DOI | Link
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
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.
- BibtexAuthor : K. Zhang, C. Bu| Abstract | DOI | Link
Title : Group inverses of matrices over right Ore domains
In : Applied Mathematics and Computation,
218 (12):6942–6953, 2012.
Date : 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.
- BibtexAuthor : 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).
- BibtexAuthor : 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.
- BibtexAuthor : 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.
- BibtexAuthor : 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.
- BibtexAuthor : K. Zhang, A. Giua| DOI
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
- 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.
- BibtexAuthor : K. Zhang, A. Giua| Abstract | DOI | Link
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
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.
- BibtexAuthor : 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.
- BibtexAuthor : 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.
- BibtexAuthor : K. Zhang, K. H. Johansson| DOI
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
- 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.
- BibtexAuthor : K. Zhang| DOI
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
- K. Zhang. Polynomial representation for orthogonal projections onto subspaces of finite games. In 2017 36th Chinese Control Conference (CCC), pages 11267–11272, July 2017.
- BibtexAuthor : K. Zhang| DOI
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
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.
- BibtexAuthor : 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.
- BibtexAuthor : 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