Author:Maximilian Gaukler

Publications
Analysis of Real-Time Control Systems using First-Order Continuization Maximilian Gaukler In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output Timing Maximilian Gaukler and Peter Ulbrich In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems