A Formal Approach towards Safe and Stable Schedule Synthesis in Weakly Hard Control Systems
Year: 2025
Type: article
DOI: 10.1145/3760528
Authors: Debarpita Banerjee, Parasara Sridhar Duggirala, Bineet Ghosh, Sumana Ghosh
Language: English
Topic: Real-Time Systems Scheduling
Subfield: Hardware and Architecture
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W4413194603
