3 papers
eess.SY2026
Comparing Controller Synthesis Methods with Deadline-Miss Awareness
Melanie Gallant, Marc Seidel, Paolo Pazzaglia +5
This paper presents a comparative study of real-time controller design methods for dynamical control systems subject to deadline overruns. Numerous techniques have been proposed to…
eess.SY2026
Over-approximation of weakly-hard constraints for control systems verification (Extended)
Rieke de Maeyer, Holger Hermanns, Martina Maggio
A hard real-time system cannot miss any deadline. A weakly-hard real-time system, on the contrary, is designed to tolerate a specific number of deadline misses. For instance, the A…
eess.SY2026
A Controller Synthesis Framework for Weakly-Hard Control Systems
Marc Seidel, Martina Maggio, Frank Allgöwer
Deadline misses are more common in real-world systems than one may expect. The weakly-hard task model has become a standard abstraction to describe and analyze how often these miss…