Systems Theory and Automatic Control
IFAT main page

Dr.-Ing. Stefan Streif

  Group Leader and Lecturer
  Institute for Automation Engineering (IFAT)
  Laboratory for Systems Theory and Automatic Control
  Otto-von-Guericke University Magdeburg
  39106 Magdeburg - Germany






May - July 2014 Research stay at the Norwegian University of Science and Technology (NTNU) in Trondheim, Norway
Apr - May 2014 Research stay at the Laboratory for Analysis and Architecture of Systems (LAAS-CNRS) in Toulouse, France, in Didier Henrion's group
Mar - Sep 2013Research stay at the Massachusetts Institute of Technology (MIT) in Richard Braatz's group
Dec 2012Awarded for outstanding achievements in the industrial project Advanced Factory Control by the University Magdeburg
Nov 2012Certificate for university-level didactics, teaching, and project management
Since Oct 2010 Post doctoral researcher (german: Habilitand) and group leader in Rolf Findeisen's group for Systems Theory and Automatic Control at the University of Magdeburg
Mar 2011 PhD thesis titled "Understanding phototaxis of Halobacterium salinarum : A systems biology approach"; passed with distinction (summa cum laude)
2008 - 2010 Max Planck Institute for Dynamics of Complex Technical Systems in the Molecular network analysis Group with Wolfgang Marwan
2005 - 2008 Max Planck Institute of Biochemistry in Dieter Oesterhelt's group
2003 - 2004 Integrated study at the University of Sheffield (UK) in the Department of Automatic Control and Systems Engineering
2000 - 2005 Study of Engineering Cybernetics (major control and systems theory, minor biochemical engineering) at the Universität Stuttgart; diploma thesis in Frank Allgöwer's group

Committee memberships and activities:

Robust estimation, control, system analysis, verification and fault diagnosis of nonlinear uncertain dynamical systems

  • Development of set-based methods for
    • consistent parameter and state estimation
    • input design for guaranteed model (in-)validation
    • active and passive fault diagnosis
    • robust nonlinear model predictive control
    • qualitative controller analysis
    • robustness (e.g. of control policies w.r.t. nonlinearities and uncertainties)
    to allow guaranteed and robust statements despite uncertainties.

  • Development of probabilistic methods for
    • analysis and prediction of uncertainty propagation
    • active fault diagnosis
    • stochastic nonlinear model predictive control
    • experimental design
    to account/allow for probabilistic information and statements.

  • Combination of set-based and probabilistic methods
  • Immersion theory of polynomial control systems
  • Global and local sensitivity and observability analysis methods for nonlinear systems
  • Selection of employed methods:
    • convex and robust optimization
    • bilevel and semi-infinite programming
    • occupation measures and LMI relaxations
    • polynomial chaos theory.

Analysis and design of complex biological networks

  • Development of predictive models
  • Combination of different modeling and analysis frameworks (like qualitative, quantitative, deterministic and stochastic)
  • Development of methods for experimental design, sensitivity analysis, guaranteed parameter and state estimation, and model invalidation
  • Stochastic analysis and simulation
  • Understanding misbalanced signaling in JAK/STAT signaling in myeloproliferative neoplasms diseases
  • Personalised anti-inflammatory therapy development for interleukin-6 trans-signalling inhibition combining in vitro and in vivo experiments with in silico set-based modelling and analysis
  • Other investigated biological systems:
    • phototaxis signal transduction and motility system in the model organism H.salinarum
    • Adaptation systems (e.g. chemotaxis, phototaxis, osmotic shock, ...)

Development of computational and software tools

Industrial applications and collaborations

Developed methods, models and analysis tools are applied to industrial processes and problems, e.g.:

  • automation engineering systems and manufacturing and transport processes (in collaboration with SIEMENS)
  • battery systems (in collaboration with BOSCH and BOSCH-BATTERY)
  • hydro-mechanical devices (in collaboration with BOSCH-REXROTH)
  • systems biology (in collaboration with CONARIS)

In November 2012, I obtained a certificate for university-level didactics, teaching, and project management. The certificate was obtained from the Martin-Luther-University Halle and it required about 160 hours of intensive training covering topics like general and university-level teaching and didactics, various teaching and learning scenarios, specific subjects such as colleague and student advice, as well as project management and negotiations.

Course title Terms and responsibilities
Complexity Reducing Formulations in Optimization organized and gave one day on a five day workshop organized by S.Sager (winter term 2013/14)
Optimization in Estimation, Systems Analysis and Control full lecturer (winter term 2013/14)
Control Theory I (Regelungstechnik) full lecturer (winter term 2012/13), replacement lecturer (winter terms 2010/11 and 2013/14)
Complex Systemsseminar instructor (winter terms 2011/12 and 2013/14)
Introduction to Systems Biology full lecturer (summer terms 2012 and 2011), supplementary lecture (2010)

Currently, I am supervising 2 Ph.D. students (Nadine Strobel and Petar Andonov).
Together with Rolf Findeisen, I am co-supervising 3 Ph.D. students (Daniel Hast working with Bosch-Rexroth; Matthias Rausch working with Bosch Battery; Anton Savchenko).
I am also currently supervising several undergraduate students working towards Bachelor degrees.
In total, I have worked with and supervised the following students (16 master, bachelor and diploma thesis; 4 student research assistants; 4 student interns): Tina Meyer, Christoph Pahlke, Felix Petzke, Matthias Karl, Bianca Fischer, Joanna Brühl, Marco Albrecht, Daniel Rüdiger, Nadine Strobel, Lars Freier, Sebastian Püttker, Markus Rehberg, Susanne Schach, Korbinian Ehrmann, Alexander Müller, Manuel Haas, Elisabeth Weidinger, Anne Dueck, Jonas Müller, Markus Müller, Marina Dusl.

Citation report (based on GOOGLE Scholar and ResearchGate): citations 187; h-index 8; i10-index 8; total impact points 62.32; research gate score 19.92.

Journal articles, books and book chapters (peer-reviewed)

[14 M. Rausch, R. Klein, S. Streif, C. Pankiewitz, and R. Findeisen. Modellbasierte Zustandsschätzung für Lithium-Ionen-Batterien (engl. model-based state estimation for lithium-ion batteries). at - Automatisierungstechnik, 62(4):296-311, March 2014. Special issue: Elektromobilität. [ DOI ]
[13 S. Borchers, S. Freund, A. Rath, S. Streif, U. Reichl, and R. Findeisen. Identification of growth phases and influencing factors in cultivations with AGE1.HN cells using set-based methods. PLoS ONE, 8(8):e68124, August 2013. [ DOI | http | .pdf ]
[12 M. Kreysing, R. Pusch, D. Haverkate, M. Landsberger, J. Engelmann, J. Ruiter, C. Mora-Ferrer, E. Ulbricht, J. Grosche, K. Franze, S. Streif, S. Schumacher, F. Makarov, J. Kacza, J. Guck, H. Wolburg, J. K. Bowmaker, G. von der Emde, S. Schuster, H.-J. Wagner, A. Reichenbach, and M. Francke. Photonic crystal light collectors in fish retina improve vision in turbid water. Science, 336(6089):1700-1703, 2012. [ DOI | http ]
[11 P. Rumschinski, S. Streif, and R. Findeisen. Combining qualitative information and semi-quantitative data for guaranteed invalidation of biochemical network models. Int. J. Robust Nonlin. Control, 22(10):1157-1173, 2012. [ DOI | http | .pdf ]
[10 S. Streif, A. Savchenko, P. Rumschinski, S. Borchers, and R. Findeisen. ADMIT: a toolbox for guaranteed model invalidation, estimation and qualitative-quantitative modeling. Bioinformatics, 28(9):1290-1291, 2012. [ DOI | http | .pdf ]
[9 S. Waldherr, S. Streif, and F. Allgöwer. Design of biomolecular network modifications for adaptation. IET Syst Biol, 6(6):223-231, 2012. [ .pdf ]
[8 S. Streif. Understanding Phototaxis of Halobacterium salinarum: A Systems Biology Approach. Number 1 in Contributions in Systems Theory and Automatic Control, Otto-von-Guericke Universität Magdeburg. Shaker Verlag, May 2011. [ DOI ]
[7 S. Streif, D. Oesterhelt, and W. Marwan. A predictive computational model of the kinetic mechanism of stimulus-induced transducer methylation and feedback regulation through CheY in archaeal phototaxis and chemotaxis. BMC Syst Biol, 4(27), March 2010. [ DOI | http | .pdf ]
[6 S. Streif, S. Waldherr, F. Allgöwer, and R. Findeisen. Systems Analysis of Biological Networks, chapter Steady state sensitivity analysis of biochemical reaction networks: a brief review and new methods, pages 129 -148. Methods in Bioengineering. Artech House MIT Press, Boston/London, August 2009. [ http ]
[5 T. Ohtsuka and S. Streif. Commutativity of immersion and linearization. IEEE T. Automat. Contr., 54(4):826 - 829, April 2009. [ DOI ]
[4 M. Schlesner, A. Miller, S. Streif, W. F. Staudinger, J. Müller, B. Scheffer, F. Siedler, and D. Oesterhelt. Identification of archaea-specific chemotaxis proteins which interact with the flagellar apparatus. BMC Microbiol, 9(56), March 2009. [ DOI | http | .pdf ]
[3 S. Streif, W. F. Staudinger, D. Oesterhelt, and W. Marwan. Quantitative analysis of signal transduction in motile and phototactic cells by computerized light stimulation and model based tracking. Rev Sci Instrum, 80(2):023709, February 2009. [ DOI | http ]
[2 S. Streif, W. F. Staudinger, W. Marwan, and D. Oesterhelt. Flagellar rotation in the archaeon Halobacterium salinarum depends on ATP. J Mol Biol, 384:1-8, August 2008. [ DOI ]
[1 R. C. H. del Rosario, W. Staudinger, S. Streif, F. Pfeiffer, E. Mendoza, and D. Oesterhelt. Modeling the CheYD10K,Y100W Halobacterium salinarum mutant: sensitivity analysis allows choice of parameter to be modified in the phototaxis model. IET Syst Biol, 1(4):207 - 221, July 2007. [ DOI ]

Proceedings (peer-reviewed)

[27 J. A. Paulson, A. Mesbah, S. Streif, R. Findeisen, and R. D. Braatz. Fast stochastic model predictive control of high-dimensional systems. In Proc. 53rd IEEE Conference on Decision and Control (CDC), Los Angeles, CA, December 2014. In press.
[26 T. Trenner, J. Neidig, R. Findeisen, and S. Streif. Einsatz cyber-physischer Systeme im Echtzeitkontext: Erhöhung der System-Autonomie durch Auswertung von Anlagenmodellen auf Zellebene. In Automation. VDI-Verlag, July 2014. [ .pdf ]
[25 A. Mesbah, S. Streif, R. Findeisen, and R. D. Braatz. Stochastic nonlinear model predictive control with probabilistic constraints. In Proc. American Control Conference (ACC), pages 2413-2419, Portland, Oregon, June 2014. [ .pdf ]
[24 J. A. Paulson, D. M. Raimondo, R. D. Braatz, R. Findeisen, and S. Streif. Guaranteed active fault diagnosis for uncertain nonlinear systems. In Proc. European Control Conference (ECC), pages 926-931, Strasbourg, France, June 2014. [ .pdf ]
[23 M. Rausch, R. Klein, S. Streif, C. Pankiewitz, and R. Findeisen. Set-based state of charge estimation for lithium-ion batteries. In Proc. American Control Conference (ACC), pages 1566-1571, Portland, Oregon, June 2014. [ .pdf ]
[22 A. Mesbah, S. Streif, R. Findeisen, and R. D. Braatz. Active fault diagnosis for nonlinear systems with probabilistic uncertainties. In Proc. 19th IFAC World Congress, Cape Town, South Africa, 2014. In press. [ .pdf ]
[21 P. Rumschinski, R. Findeisen, and S. Streif. Finite-time output energy measure for polynomial systems with applications in observability analysis. In Proc. 19th IFAC World Congress, Cape Town, South Africa, 2014. In press. [ .pdf ]
[20 A. Savchenko, P. Andonov, S. Streif, and R. Findeisen. Guaranteed set-based controller parameter estimation for nonlinear systems - magnetic levitation platform as a case study. In Proc. 19th IFAC World Congress, Cape Town, South Africa, 2014. In press. [ .pdf ]
[19 S. Streif, D. Henrion, and R. Findeisen. Probabilistic and set-based model invalidation and estimation using LMIs. In Proc. 19th IFAC World Congress, Cape Town, South Africa, 2014. In press. [ .pdf ]
[18 S. Streif, M. Kögel, T. Bäthge, and R. Findeisen. Robust nonlinear model predictive control with constraint satisfaction: A relaxation-based approach. In Proc. 19th IFAC World Congress, Cape Town, South Africa, 2014. Invited session paper. In press. [ .pdf ]
[17 S. Streif, F. Petzke, A. Mesbah, R. Findeisen, and R. D. Braatz. Optimal experimental design for probabilistic model discrimination using polynomial chaos. In Proc. 19th IFAC World Congress, Cape Town, South Africa, 2014. In press. [ .pdf ]
[16 D. Hast, S. Streif, and R. Findeisen. Guaranteed parametric fault diagnosability for nonlinear systems. In Proc. 52nd IEEE Conference on Decision and Control (CDC), pages 5662-5667, Florence, Italy, December 2013. [ .pdf ]
[15 A. Savchenko, P. Rumschinski, S. Streif, and R. Findeisen. Structural problem reduction for set-based fault diagnosis. In Proc. 10th IFAC International Symposium on Dynamics and Control of Process Systems (DyCoPS), pages 595-600, Mumbai, India, December 2013. [ .pdf ]
[14 S. Streif, D. Hast, R. D. Braatz, and R. Findeisen. Certifying robustness of separating inputs and outputs in active fault diagnosis for uncertain nonlinear systems. In Proc. 10th IFAC International Symposium on Dynamics and Control of Process Systems (DyCoPS), pages 837-842, Mumbai, India, December 2013. [ .pdf ]
[13 S. Streif, K.-K. K. Kim, P. Rumschinski, M. Kishida, D. E. Shen, R. Findeisen, and R. D. Braatz. Robustness analysis, prediction and estimation for uncertain biochemical networks. In Proc. 10th IFAC International Symposium on Dynamics and Control of Process Systems (DyCoPS), pages 1-20, Mumbai, India, December 2013. Invited plenary paper. [ .pdf ]
[12 S. Streif, P. Rumschinski, D. Henrion, and R. Findeisen. Estimation of consistent parameter sets of nonlinear continuous-time systems using occupation measures and LMI relaxations. In Proc. 52nd IEEE Conference on Decision and Control (CDC), pages 6379-6384, Florence, Italy, December 2013. [ .pdf ]
[11 S. Streif, N. Strobel, and R. Findeisen. Inner approximations of consistent parameter sets via constraint inversion and mixed-integer linear programming. In Proc. 12th IFAC International Symposium on Computer Applications in Biotechnology (CAB), pages 326-331, Mumbai, India, December 2013. [ .pdf ]
[10 M. Rausch, S. Streif, C. Pankiewitz, and R. Findeisen. Nonlinear observability and identifiability of single cells in battery packs. In Proc. IEEE Multi-Conference on Systems and Control (MSC), pages 401-406, Hyderabad, India, August 2013. [ .pdf ]
[9 S. Streif, M. Karl, and R. Findeisen. Outlier analysis in set-based estimation for nonlinear systems using convex relaxations. In Proc. European Control Conference (ECC), pages 2921-2926, Zurich, Switzerland, July 2013. [ .pdf ]
[8 A. Savchenko, P. Rumschinski, S. Streif, and R. Findeisen. Complete diagnosability of abrupt faults using set-based sensitivities. In Proc. 8th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SafeProcess), pages 860-865, Mexico City, August 2012. [ .pdf ]
[7 S. Waldherr, F. Allgöwer, E. W. Jacobsen, and S. Streif. Robustness and adaptation of biological networks under kinetic perturbations. In F. Allgöwer, V. Blondel, and U. Helmke, editors, Control Theory: Mathematical Perspectives on Complex Networked Systems, Mathematisches Forschungsinstitut Oberwolfach, pages 663 - 664, 2012. Report No. 12/2012.
[6 M. Schwarick, M. Heiner, C. Rohr, and S. Streif. A comparative study of stochastic analysis techniques. In Proc.8th International Conference on Computational Methods in Systems Biology, pages 96-106, Trento, Italy, 2010. ACM. [ .pdf ]
[5 T. Ohtsuka and S. Streif. Commutativity of immersion and linearization. In Proc. 48th IEEE Conference on Decision and Control (CDC), New Orleans, December 2007. [ .pdf ]
[4 T. Ohtsuka and S. Streif. On linearization before and after immersion. In Proc. 36th SICE Symposium on Control Theory, Sapporo, Japan, pages 73-76, September 2007. [ .pdf ]
[3 S. Streif, R. Findeisen, and E. Bullinger. Sensitivity analysis of biochemical reaction networks by bilinear approximation. In Proc. 2nd International Conference on Foundations of Systems Biology in Engineering (FOSBE), pages 521-526, Stuttgart, Germany, September 2007. [ .pdf ]
[2 S. Streif, R. Findeisen, and E. Bullinger. Relating cross gramians and sensitivity analysis in systems biology. In Proc. Mathematical Theory of Networks and Systems (MTNS) Conference, pages 437-442, Kyoto, Japan, August 2006. [ .pdf ]
[1 V. Hagenmeyer, S. Streif, and M. Zeitz. Flatness-based feedforward and feedback linearisation of the ball&plate lab experiment. In F. Allgöwer, editor, Proc. 6th IFAC International Symposium on Nonlinear Control Systems (NOLCOS), volume 1, pages 233-238, Stuttgart/Germany, August 2004. [ .pdf ]

Submitted publications (selected)

[1 D. Hast, R. Findeisen, and S. Streif. Detection and isolation of parametric faults in hydraulic pumps using a set-based analysis framework and quantitative-qualitative fault specifications.

Contact: email to - Impressum