Pages that link to "Item:Q5281872"
From MaRDI portal
The following pages link to Formalizing Real-Time Scheduling Using Priority-Based Supervisory Control of Discrete-Event Systems (Q5281872):
Displayed 6 items.
- Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems (Q942318) (← links)
- Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints (Q1049157) (← links)
- Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems (Q1640292) (← links)
- Optimal work-conserving scheduler synthesis for real-time sporadic tasks using supervisory control of timed discrete-event systems (Q2061133) (← links)
- SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time (Q2177772) (← links)
- Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks (Q5323277) (← links)