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:
  • B. Venn, T. Leifeld, P. Zhang, T. Mühlhaus. Temporal classification of short time series data. BMC Bioinformatics, 2004, 25:30. doi.org/10.1186/s12859-024-05636-6.
  • Z. Zhang, P. Zhang, T. Leifeld. Reduced-order Observer Design for Fault Diagnosis of Boolean Control Networks. Automatica, Vol. 146, 110618, 2022.
  • 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.
  • M. Fauser, P. Zhang, S. Wadle, J. Hirtz. Improved action potential detection for imaging techniques by exploiting fuzzy c-means clustering. Proceedings of the 2023 American Control Conference (ACC), San Diego, USA, 2023.
  • 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.

 

Dissertationen:
  • T. Leifeld. Identification, control and fault diagnosis of Boolean networks. Shaker Verlag. ISBN 978-3-8440-8441-2. 2022.
  • Z. Zhang. Observer Design for Control and Fault Diagnosis of Boolean Networks. Springer Vieweg. ISBN 978-3-658-35928-7. 2021.

 

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.

 

Bachelor Thesis:
  • Z. Liu. Qualitative fault detection and identfication with shape-constrained splines. 2019.
  • S. Cui. Smoothing-spline basierte Quantisierung von biologischen Zeitreihendaten. 2018.