M.Sc. Maximilian Gaukler
My field of research is at the interdisciplinary boundary of control engineering and computer science, centered on two questions:
- How can control be implemented on real-time systems more efficiently?
- How do real-time system properties such as timing affect the resulting quality of control?
As part of the joint research project qronOS (Quality-aware Co-Design of Responsive Real-Time Control Systems), I mainly work on the following topics:
- Analysis of digital control loops with varying input/output timing
- Safety verification of dynamical systems by reachability analysis
- Dynamic adaptation of the computational load of control systems (Feedback Scheduling, Event-Triggered Control, etc.)
- Gaukler, M. (2020). Analysis of Real-Time Control Systems using First-Order Continuization. In Goran Frehse and Matthias Althoff (Eds.), ARCH20 (EPiC Series in Computing, vol. 74) (pp. 209-241).
- Gaukler, M., Roppenecker, G., & Ulbrich, P. (2020). Stability Analysis of Multivariable Digital Control Systems with Uncertain Timing. In Proceedings of the IFAC World Congress.
- Gaukler, M., Roppenecker, G., & Ulbrich, P. (2020). Details and Proofs for: Stability Analysis of Multivariable Digital Control Systems with Uncertain Timing.
- Gaukler, M., Rheinfels, T., Ulbrich, P., & Roppenecker, G. (2019). Convergence Rate Abstractions for Weakly-Hard Real-Time Control.
- Ulbrich, P., & Gaukler, M. (2019, April). QRONOS: Towards Quality-aware Responsive Real-Time Control Systems. Poster presentation at 25th IEEE Real-Time and Embedded Technology and Applications Symposium, Brief Presentations Track, Montreal, Quebec, CA.
- Gaukler, M., & Ulbrich, P. (2019). Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing. In Proceedings of the 6th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH '19)..
- Gaukler, M., Michalka, A., Ulbrich, P., & Klaus, T. (2018). A New Perspective on Quality Evaluation for Control Systems with Stochastic Timing. In Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (HSCC '18) (pp. 91-100). Porto, Portugal, PT: New York, NY, USA: ACM Press.
- Hammer, J., Gaukler, M., Kanzler, P., Hörauf, P., & Novac, D. (2017). FAU FabLab: A Fabrication Laboratory for Scientists, Students, Entrepreneurs and the Curious.
- Klaus, T., Franzmann, F.P., Gaukler, M., Michalka, A., & Ulbrich, P. (2016). Closing the loop: Towards control-aware design of adaptive real-time systems. In Proceedings of the 2016 IEEE Real-Time Systems Symposium, RTSS 2016. Institute of Electrical and Electronics Engineers Inc..
- Klaus, T., Franzmann, F.P., Gaukler, M., Michalka, A., & Ulbrich, P. (2016). Poster Abstract: "Closing the Loop: Towards Control-aware Design of Adaptive Real-Time Systems". Poster presentation at 37th Real-Time Systems Symposium, Porto, Portugal.
Initiative applications on student theses (bachelor and master thesis, Forschungspraktikum, Projektarbeit) are welcome. Most topics will not be listed online.
As our research concerns safety-critical systems, correctness of the results is crucial. Especially on the Master’s level you should therefore have a good capability of understanding new theory and working with formal descriptions, preferably demonstrated by good grades in courses at our chair. This also includes a high level of English or German.
If you are interested, please contact me and include your current grades as well as other relevant knowledge (programming, CAD, practical experience).
For applicants with knowledge in the field of real-time systems, we also offer interdisciplinary theses in cooperation with Lehrstuhl Informatik 4.