Formalizing Real-Time Scheduling Using Priority-Based Supervisory Control of Discrete-Event Systems
From MaRDI portal
Publication:5281872
DOI10.1109/TAC.2006.876806zbMath1366.93349MaRDI QIDQ5281872
A. Saffar, V. Janarthanan, Peyman Gohari
Publication date: 27 July 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2006.876806
90B35: Deterministic scheduling theory in operations research
93C65: Discrete event control/observation systems
Related Items
Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks, Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems, Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints, Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems, Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems, SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time