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

DOI10.1016/j.ins.2008.04.008zbMath1142.90409MaRDI QIDQ942318

Kwang Hyun Cho, Seong Jin Park

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 control; automata; discrete event systems; real-time scheduling; sporadic tasks

Mathematics Subject Classification ID

90B35: Deterministic scheduling theory in operations research

Related Items

A new algorithm for testing diagnosability of fuzzy discrete event systems, Notes on ``Some single-machine scheduling problems with general position-dependent and time-dependent learning effects, Scheduling problems with general effects of deterioration and learning, Single-machine scheduling with sum-of-logarithm-processing-times-based learning considerations, Some single-machine and \(m\)-machine flowshop scheduling problems with learning considerations, Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints, Some scheduling problems with general position-dependent and time-dependent learning effects

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