Scheduler modeling based on the controller synthesis paradigm
From MaRDI portal
(Redirected from Publication:698466)
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)- Resources in process algebra
- Supervisory control for fault-tolerant scheduling of real-time multiprocessor systems with aperiodic tasks
- Compositional schedulability analysis of real-time actor-based systems
- Schedulability of asynchronous real-time concurrent objects
- Automating the addition of fault tolerance with discrete controller synthesis
- Schedulability analysis of fixed-priority systems using timed automata
- Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems
- Predictable real-time software synthesis
- Formal verification of real-time systems with preemptive scheduling
- Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints
- PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling
- Investigating the usability of real-time scheduling theory with the Cheddar project
- Automated competitive analysis of real-time scheduling with graph games
- scientific article; zbMATH DE number 1696502 (Why is no real title available?)
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)
