Formalizing Real-Time Scheduling Using Priority-Based Supervisory Control of Discrete-Event Systems

DOI10.1109/TAC.2006.876806zbMath1366.93349OpenAlexW2140628553MaRDI 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

Mathematics Subject Classification ID

Deterministic scheduling theory in operations research (90B35) Discrete event control/observation systems (93C65)

Related Items (6)

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: Formalizing Real-Time Scheduling Using Priority-Based Supervisory Control of Discrete-Event Systems