Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints

DOI10.1016/j.automatica.2009.07.011zbMath1180.93003OpenAlexW2047870913MaRDI QIDQ1049157

Jung-Min Yang, Seong Jin Park

Publication date: 8 January 2010

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2009.07.011

zbMATH Keywords

supervisory controlreal-time schedulingresource constraintsdeadlocktimed discrete event systems

Mathematics Subject Classification ID

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

Related Items (4)

Reply to: ``Comments on `Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints' . ⋮ Comments on: ``Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints [Automatica 45 (2009) 2597--2604] ⋮ A safe supervisory flight control scheme in the presence of constraints and anomalies ⋮ Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Scheduler modeling based on the controller synthesis paradigm
• Feedback control real-time scheduling: Framework, modeling, and algorithms
• Real-time preemptive scheduling of sporadic tasks based on 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
• Supervisory control of timed discrete event systems under partial observation based on activity models and eligible time bounds
• MULTIPROCESSOR SCHEDULING IN SUPERVISORY CONTROL OF DISCRETE-EVENT SYSTEMS FRAMEWORK
• Introduction to Discrete Event Systems
• Supervisory control of timed discrete-event systems
• Formalizing Real-Time Scheduling Using Priority-Based Supervisory Control of Discrete-Event Systems
• Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks

This page was built for publication: Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints