A new controller synthesis method incorporates weakly-hard overrun constraints to guarantee stability and performance, outperforming traditional designs on a Furuta pendulum benchmark.
Kirsch and Ana Sokolova.The Logical Execution Time Paradigm, pages 103–120
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
eess.SY 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
Presents a compressed acceptor that simulates the minimal FSM for weakly-hard constraints and supports sound safety verification in control design workflows.
citing papers explorer
-
A Controller Synthesis Framework for Weakly-Hard Control Systems
A new controller synthesis method incorporates weakly-hard overrun constraints to guarantee stability and performance, outperforming traditional designs on a Furuta pendulum benchmark.
-
Over-approximation of weakly-hard constraints for control systems verification (Extended)
Presents a compressed acceptor that simulates the minimal FSM for weakly-hard constraints and supports sound safety verification in control design workflows.