Maximilian Gaukler - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 7 from 7

2023

Safety Verification of Real-Time Control Systems with Flexible Timing (Sicherheitsverifikation von Echtzeitregelungssystemen mit flexiblem Timing)Maximilian Gaukler. PhD thesis, University of Erlangen-Nuremberg, Germany, 2023. [doi]

A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control SystemsTim Rheinfels, Maximilian Gaukler, Peter Ulbrich. ecrts 2023: [doi]

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. darts, 9(1), 2023. [doi]

2020

Analysis of Real-Time Control Systems using First-Order ContinuizationMaximilian Gaukler. arch 2020: 209-241 [doi]

2019

Worst-Case Analysis of Digital Control Loops with Uncertain Input/Output TimingMaximilian Gaukler, Peter Ulbrich. cpsweek 2019: 183-200 [doi]

2018

A New Perspective on Quality Evaluation for Control Systems with Stochastic TimingMaximilian Gaukler, Andreas Michalka, Peter Ulbrich, Tobias Klaus. hybrid 2018: 91-100 [doi]

2016

Closing the loop: towards control-aware design of adaptive real-time systemsTobias Klaus, Florian Franzmann, Maximilian Gaukler, Andreas Michalka, Peter Ulbrich. rtss 2016: 363 [doi]

Sign in or sign up to see more results.

runs on WebDSL