Automated analysis of real-time scheduling using graph games

DOI10.1145/2461328.2461356MaRDI QIDQ2986919zbMATH OpenOpenAlexFDO

Authors Krishnendu Chatterjee, Alexander Kößler, Ulrich Schmid

Publication date 16 May 2017

Published in Proceedings of the 16th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2461328.2461356

zbMATH Keywords

competitive analysisgame theoryreal-time scheduling

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Deterministic scheduling theory in operations research (90B35) Games involving graphs (91A43) Applications of game theory (91A80)

Recommendations

• Automated competitive analysis of real-time scheduling with graph games
• Synthesising succinct strategies in safety games with an application to real-time scheduling
• Analysis of scheduling behaviour using generic timed automata
• Cost-sharing games in real-time scheduling systems
• Cost-sharing games in real-time scheduling systems

Cites work

• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• A note on two problems in connexion with graphs
• Controlling a Class of Nonlinear Systems on Rectangles
• Diagnostic Information for Realizability
• Enhancing model checking in verification by AI techniques
• scientific article; zbMATH DE number 5595151 (Why is no real title available?)
• scientific article; zbMATH DE number 2080065 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Markov decision processes and regular events
• Model repair for probabilistic systems
• Receding horizon control for temporal logic specifications

Cited in

(7)

• Automated competitive analysis of real-time scheduling with graph games
• An integrative approach with sequential game to real-time gate assignment under CDM mechanism
• POMDPs under probabilistic semantics
• A note on the approximation of mean-payoff games
• Synthesising succinct strategies in safety games with an application to real-time scheduling
• Classifications, advances and prospects of scheduling games
• Adapting to the behavior of environments with bounded memory

This page was built for publication: Automated analysis of real-time scheduling using graph games

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