Forschungsinteressen und Arbeitsgebiete
- Gemeinsamer Entwurf von digitalen Regelungen und eingebetteten Echtzeitsystemen
- Kooperationsprojekt qronOS: Quality-aware Co-Design of Responsive Real-Time Control Systems
- Sicherheitsverifikation dynamischer Systeme mittels Erreichbarkeitsanalyse
Werdegang
2010 | Abitur, Albert-Schweitzer-Gymnasium, Erlangen |
2010 – 2015 | Studium Elektrotechnik, FAU Erlangen-Nürnberg |
seit Februar 2016 | wissenschaftlicher Mitarbeiter am Lehrstuhl für Regelungstechnik |
Publikationen
2020
- 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). Details and Proofs for: Stability Analysis of Multivariable Digital Control Systems with Uncertain Timing.
- Gaukler, M., Roppenecker, G., & Ulbrich, P. (2020). Stability Analysis of Multivariable Digital Control Systems with Uncertain Timing. In Proceedings of the IFAC World Congress.
2019
- Gaukler, M., Rheinfels, T., Ulbrich, P., & Roppenecker, G. (2019). Convergence Rate Abstractions for Weakly-Hard Real-Time Control.
- 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)..
- 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.
2018
- 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.
2017
- Hammer, J., Gaukler, M., Kanzler, P., Hörauf, P., & Novac, D. (2017). FAU FabLab: A Fabrication Laboratory for Scientists, Students, Entrepreneurs and the Curious.
2016
- 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.
Offene Arbeiten
weitere Themen auf Anfrage
Laufende und abgeschlossene Arbeiten
- Bedarfsgesteuerte Abtastung in Echtzeitregelungssystemen (MA)
- Ermittlung von Timing-Anforderungen für Echtzeitregelungssysteme mittels Erreichbarkeitsanalyse (BA)
- Erreichbarkeitsanalyse realitätsnaher Abtastsysteme (MA)
- Evaluation von Software zur Erreichbarkeitsanalyse (BA)
- Implementierung und Bewertung nicht-periodischer Regelungskonzepte am Versuchsaufbau „Inverses Pendel“ (BA)
- Konzeption und Aufbau eines Versuchsstands für einen Quadrokopter (PA)
- Mengenwertige Zustandsbeobachtung (FP)
- Modellierung und Regelung eines Quadrokopters (MA)
- Optimalsteuerung zwischen Theorie und Praxis (FP)
- Portierung der Software eines Quadrokopters auf das Betriebssystem ERIKA (FP)
- Sichere Regelung eines Quadrokopters (MA)
- Sicherheitsverifikation von Echtzeitregelungen mittels Erreichbarkeitsanalyse und Continuization (MA)
- Timing-Unsicherheiten in Echtzeitregelungen: Theorie und Praxis (BA)
- Weiterentwicklung eines Versuchsstands für einen Quadrokopter (PA)