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

Browse the full ECRTS paper archive.