Scheduler modeling based on the controller synthesis paradigm
From MaRDI portal
Recommendations
- Toward Flexible Scheduling of Real-Time Control Tasks: Reviewing Basic Control Models
- Feedback control real-time scheduling: Framework, modeling, and algorithms
- Modeling, scheduling, and simulation of switched processing systems
- Model predictive control-based scheduler for repetitive discrete event systems with capacity constraints
- Scheduling of embedded controllers under timing contracts
- Scheduling: Control-based theory and polynomial-time algorithms
Cited in
(14)- Investigating the usability of real-time scheduling theory with the Cheddar project
- Automating the addition of fault tolerance with discrete controller synthesis
- Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints
- Automated competitive analysis of real-time scheduling with graph games
- Schedulability analysis of fixed-priority systems using timed automata
- Resources in process algebra
- Schedulability of asynchronous real-time concurrent objects
- Predictable real-time software synthesis
- A methodology for the construction of scheduled systems
- Compositional schedulability analysis of real-time actor-based systems
- Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks
- PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling
- Formal verification of real-time systems with preemptive scheduling
- Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems
This page was built for publication: Scheduler modeling based on the controller synthesis paradigm
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q698466)
