Safe and optimal scheduling for hard and soft tasks

DOI10.4230/LIPICS.FSTTCS.2018.36MaRDI QIDQ5090977zbMATH OpenFDO

Authors G. Geeraerts, Shibashis Guha, Jean-Franǫis Raskin

Publication date 21 July 2022

zbMATH Keywords

Markov decision processesautomatic synthesisnon-clairvoyant schedulinghard and soft tasks

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

Recommendations

• Safe learning for near-optimal scheduling
• As soon as probable: optimal scheduling under stochastic uncertainty
• scientific article; zbMATH DE number 1956584
• Scheduling with timed automata
• Safe scheduling: Setting due dates in single-machine problems

Cites work

• scientific article; zbMATH DE number 1134975 (Why is no real title available?)
• scientific article; zbMATH DE number 2209335 (Why is no real title available?)
• A note on preemptive scheduling of periodic, real-time tasks
• Antichains for the Automata-Based Approach to Model-Checking
• Computational Complexity of Probabilistic Turing Machines
• Hard real-time computing systems. Predictable scheduling algorithms and applications.
• Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games
• Minimizing expected cost under hard Boolean constraints, with applications to quantitative synthesis
• Multidimensional beyond worst-case and almost-sure problems for mean-payoff objectives
• On a Real-Time Scheduling Problem
• On the complexity of fixed-priority scheduling of periodic, real-time tasks
• On the synthesis of strategies in infinite games
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
• Synthesising succinct strategies in safety games with an application to real-time scheduling
• The Complexity of Markov Decision Processes
• The complexity of the \(K\)th largest subset problem and related problems

Cited in

(2)

• Safe learning for near-optimal scheduling
• Optimal scheduling of contract algorithms with soft deadlines

This page was built for publication: Safe and optimal scheduling for hard and soft tasks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5090977)