Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints
From MaRDI portal
Publication:1049157
DOI10.1016/j.automatica.2009.07.011zbMath1180.93003OpenAlexW2047870913MaRDI QIDQ1049157
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
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
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