Maximilian Gaukler

According to our database, Maximilian Gaukler authored at least 9 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Safety Verification of Real-Time Control Systems with Flexible Timing (Sicherheitsverifikation von Echtzeitregelungssystemen mit flexiblem Timing)

Maximilian Gaukler

PhD thesis, 2023

A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems (Artifact).

Tim Rheinfels, Maximilian Gaukler, Peter Ulbrich

Dagstuhl Artifacts Ser., 2023

A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems.

Tim Rheinfels, Maximilian Gaukler, Peter Ulbrich

Proceedings of the 35th Euromicro Conference on Real-Time Systems, 2023

2020

Analysis of Real-Time Control Systems using First-Order Continuization.

Maximilian Gaukler

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Convergence Rate Abstractions for Weakly-Hard Real-Time Control.

Maximilian Gaukler, Tim Rheinfels, Peter Ulbrich, Günter Roppenecker

CoRR, 2019

Details and Proofs for: Stability Analysis of Multivariable Digital Control Systems with Uncertain Timing.

Maximilian Gaukler, Günter Roppenecker, Peter Ulbrich

CoRR, 2019

Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing.

Maximilian Gaukler, Peter Ulbrich

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

A New Perspective on Quality Evaluation for Control Systems with Stochastic Timing.

Maximilian Gaukler, Andreas Michalka, Peter Ulbrich, Tobias Klaus

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2016

Closing the loop: towards control-aware design of adaptive real-time systems.

Tobias Klaus, Florian Franzmann, Maximilian Gaukler, Andreas Michalka, Peter Ulbrich

Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016