Fachgebiet Automatisierungstechnik (AT Plus)

Systembiologie

Mathematische Modellierung biologischer Prozesse gewinnt in den letzten Jahren zunehmend an Bedeutung. Die Interpretation großer Datenmengen und die Analyse komplexer rückgekoppelter Systeme ist hierbei eine große Herausforderung. Methoden aus Automatisierungstechnik können übertragen und im neuen Kontext weiterentwickelt werden. Kombiniert mit biologischem Vorwissen, können Identifikationsverfahren eingesetzt werden, um nutzbare mathematische Modelle aus den Daten zu gewinnen. Methoden der optimalen Steuerung, Regelung und Diagnose können zur Interventionsplanung in medizinischen Anwendungen beitragen.

 

Veröffentlichungen:
  • 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.

 

Masterarbeit:
  • R. Stadler: Identifikation und Fehlerbetrachtung bool'scher Interaktionsmodelle von biologischen Prozessen. 2016

 

Projektarbeit:
  • B. Zhou: Matrix-basierte Analyse der Eigenschaften von Petri-Netzen. 2017

 

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