1 citations · 1 across the 3 of their papers we have counts for
4 papers
Adaptive Handling of Deadline Misses via Stochastic MPC
Melanie Gallant, Paolo Pazzaglia, Christoph Mark +2
Real-time control systems may experience sporadic computational overloads that cause controller executions to overrun their expected deadlines, affecting the timely update of contr…
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…
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…
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…