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)
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