Real-time supervisory control of a processor for non-preemptive execution of periodic tasks

DOI10.1023/A:1020207328508zbMath1012.68019OpenAlexW1562548608MaRDI QIDQ1871065

Peter C. Y. Chen, W. Murray Wonham

Publication date: 6 May 2003

Published in: Real-Time Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1020207328508

zbMATH Keywords

supervisory controlautomataformal languagesnon-preemptive schedulingtimed discrete-event systems

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Related Items (7)

Automatic synthesis of a subclass of schedulers in timed systems. ⋮ Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems ⋮ Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks ⋮ SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time ⋮ Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems ⋮ Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems ⋮ Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints

This page was built for publication: Real-time supervisory control of a processor for non-preemptive execution of periodic tasks