Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems

DOI10.1007/s10951-020-00669-0zbMath1479.90085OpenAlexW3093918803MaRDI QIDQ2061133

Santosh Biswas, Rajesh Devaraj, Arnab Dey Sarkar

Publication date: 13 December 2021

Published in: Journal of Scheduling (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10951-020-00669-0

zbMATH Keywords

supervisory controldiscrete-event systemsreal-time systemsoptimal schedulingsporadic task

Mathematics Subject Classification ID

Deterministic scheduling theory in operations research (90B35) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Cites Work

• Unnamed Item
• A note on preemptive scheduling of multiclass jobs with geometric service times and hard deadlines
• Open problems in real-time scheduling
• An \(O( n^2)\) algorithm for scheduling equal-length preemptive jobs on a single machine to minimize total tardiness
• 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
• A theory of timed automata
• Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems
• Real-time supervisory control of a processor for non-preemptive execution of periodic tasks
• Real-time scheduling algorithm for safety-critical systems on faulty multicore environments
• Scheduling with timed automata
• Grid automata and supervisory control of dense real-time discrete event systems
• Hard Real-Time Computing Systems
• Introduction to Discrete Event Systems
• Supervisory control of timed discrete-event systems
• On the synthesis of discrete controllers for timed systems
• Fault-tolerant scheduling in homogeneous real-time systems
• Formalizing Real-Time Scheduling Using Priority-Based Supervisory Control of Discrete-Event Systems

This page was built for publication: Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems