1 citations · 1 across the 1 of their papers we have counts for
2 papers
eess.SY2026★ 1 cited
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…