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

Open Webpage

Debarpita Banerjee, Parasara Sridhar Duggirala, Bineet Ghosh, Sumana Ghosh

Published: 2025, Last Modified: 04 Mar 2026ACM Trans. Embed. Comput. Syst. 2025EveryoneRevisionsBibTeXCC BY-SA 4.0