Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems

DOI10.1016/J.INS.2008.04.008zbMath1142.90409OpenAlexW2171399120MaRDI QIDQ942318

Seong Jin Park, Kwang Hyun Cho

Publication date: 5 September 2008

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2008.04.008

zbMATH Keywords

supervisory controlautomatadiscrete event systemsreal-time schedulingsporadic tasks

Mathematics Subject Classification ID

Deterministic scheduling theory in operations research (90B35)

Related Items (12)

Some single-machine and \(m\)-machine flowshop scheduling problems with learning considerations ⋮ Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems ⋮ Some scheduling problems with general position-dependent and time-dependent learning effects ⋮ SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time ⋮ A new algorithm for testing diagnosability of fuzzy discrete event systems ⋮ Scheduling problems with general effects of deterioration and learning ⋮ Single-machine scheduling with two competing agents and learning consideration ⋮ A framework for state attraction of discrete event systems under partial observation ⋮ Notes on ``Some single-machine scheduling problems with general position-dependent and time-dependent learning effects ⋮ Single-machine scheduling with sum-of-logarithm-processing-times-based learning considerations ⋮ 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

Cites Work

• Scheduler modeling based on the controller synthesis paradigm
• A polynomial dynamic system approach to software design for attractivity requirement
• Decentralized supervisory control of discrete-event systems
• Real-time supervisory control of a processor for non-preemptive execution of periodic tasks
• Supervisory control of modular systems with global specification languages
• MULTIPROCESSOR SCHEDULING IN SUPERVISORY CONTROL OF DISCRETE-EVENT SYSTEMS FRAMEWORK
• Supervisory control of timed discrete-event systems
• Formalizing Real-Time Scheduling Using Priority-Based Supervisory Control of Discrete-Event Systems

This page was built for publication: Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems