Department of Electrical and Computer Engineering

System Biology

Mathematical modeling of biological systems has received much attention in the recent years. The interpretation of large amount data and the analysis of complex feedback mechanisms are the major challenges. Methods in the control theory can be transferred and further developed in the context of biological systems. Combined with prior biological knowledge, mathematical models of biological systems can be identified and validated from high-throughput gene expression data efficiently. The methods of optimal control and diagnosis can contribute to the optimization of medical treatment and early diagnosis of diseases.

Publications:
  • Z. H. Zhang, P. Zhang, T. Leifeld. Reduced-order observer design for fault diagnosis of Boolean control networks. Accepted provisionally by Automatica, 2021.
  • Z. Zhang, T. Leifeld, P. Zhang. Reduced-order observer design for Boolean control networks. IEEE Transactions on Automatic Control, Vol. 65, No. 1, pp. 434-441, 2020.
  • Z. Zhang, T. Leifeld, P. Zhang. Reconstructibility analysis and observer design for Boolean control networks. IEEE Transactions on Control of Network Systems, Vol. 7, No. 1, pp. 516-528, 2020.
  • T. Leifeld, Z. Zhang, P. Zhang. Overview and comparison of approaches towards an algebraic description of discrete event systems. Annual Reviews in Control, Vol. 48, pp. 80-88, 2019.
  • T. Leifeld, Z. Zhang, P. Zhang. Identification of boolean network models from time series data incorporating prior knowledge. Frontiers in Physiology, Vol. 9, Article 695, 12 Pages, 2018.
  • Z. Zhang, T. Leifeld, P. Zhang. Finite horizon tracking control of Boolean control networks. IEEE Transactions on Automatic Control, Vol. 63, No. 3, pp. 1798-1805, 2018.
  • Z. Zhang, T. Leifeld, P. Zhang. An improved algorithm for stabilization of Boolean networks via pinning control. Proceedings of the 2019 IEEE Conference on Decision and Control (CDC), pp. 114-119, Nice, France, 2019.
  • T. Leifeld, B. Venn, S. Cui, Z. Zhang, T. Mühlhaus, P. Zhang. Curve form based quantization of short time series data. Proceedings of the 2019 European Control Conference (ECC), pp. 3710-3715, Naples, Italy, 2019.
  • T. Leifeld, Z. Zhang, P. Zhang. Data-driven controller design for Boolean control networks. Proceedings of the 2018 American Control Conference (ACC), pp. 3044-3049, Milwaukee, Wisconsin, USA, 2018.
  • Z. Zhang, T. Leifeld, P. Zhang. Active fault detection of Boolean control networks. Proceedings of the 2018 American Control Conference (ACC), pp. 5001-5006, Milwaukee, Wisconsin, USA, 2018.
  • Z. Zhang, T. Leifeld, P. Zhang. Identification of Boolean control networks incorporating prior knowledge. Proceedings of the 56th IEEE Conference on Decision and Control (CDC), pp. 5839-5844, Melbourne, Australia, 2017
  • Z. Zhang, T. Leifeld, P. Zhang. Unknown input decoupling and estimation in observer design for Boolean control networks. Proceedings of the 20th IFAC World Congress, pp. 2972-2977, Toulouse, France, 2017.
  • Z. Zhang, T. Leifeld, P. Zhang. Distributed observer design for large-scale Boolean control networks. Proceedings of the 2017 American Control Conference (ACC), pp. 2618-2623, Seattle, USA, 2017.
  • Z. Zhang, T. Leifeld, P. Zhang. Observer design for Boolean control networks. Proceedings of the 55th IEEE Conference on Decision and Control (CDC), pp. 6272-6277, Las Vegas, USA, 2016.
  • T. Leifeld, Z. Zhang, P. Zhang. Fault detection for probabilistic Boolean networks. Proceedings of the 2016 European Control Conference (ECC), pp. 740-745, Aalborg, Denmark, 2016.
  • Z. Zhang, T. Leifeld, P. Zhang. Finite horizon tracking control of Boolean control networks. Proceedings of the 2016 American Control Conference (ACC), pp. 6965-6970, Boston, USA, 2016.
  • Z. Zhang, T. Leifeld, P. Zhang. Observer design for Boolean control networks. Proceedings of the 55th IEEE Conference on Decision and Control (CDC), pp. 6272-6277, Las Vegas, USA, 2016.
  • T. Leifeld, Z. Zhang, P. Zhang. Fault detection for probabilistic Boolean networks. Proceedings of the 2016 European Control Conference (ECC), pp. 740-745, Aalborg, Denmark, 2016.
  • Z. Zhang, T. Leifeld, P. Zhang. Finite horizon tracking control of Boolean control networks. Proceedings of the 2016 American Control Conference (ACC), pp. 6965-6970, Boston, USA, 2016.
Master Thesis:
  • R. Stadler: Identifikation und Fehlerbetrachtung bool'scher Interaktionsmodelle von biologischen Prozessen. 2016
Project Thesis:
  • B. Zhou: Matrix-basierte Analyse der Eigenschaften von Petri-Netzen. 2017
Zum Seitenanfang