A Formal Approach towards Safe and Stable Schedule Synthesis in Weakly Hard Control Systems.

Wed, 01 Jan 2025 00:00:00 +0100

Debarpita Banerjee , Parasara Sridhar Duggirala , Bineet Ghosh , Sumana Ghosh:
A Formal Approach towards Safe and Stable Schedule Synthesis in Weakly Hard Control Systems. ACM Trans. Embed. Comput. Syst. 24(5s): 148:1-148:26 (2025)