On using priced timed automata to achieve optimal scheduling

DOI10.1007/S10703-006-0014-1MaRDI QIDQ853729zbMATH OpenOpenAlexFDO

Authors Kim G. Larsen, Jacob Illum Rasmussen, K. Subramani

Publication date 17 November 2006

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-006-0014-1

zbMATH Keywords

Linear programmingReal-time schedulingCost optimalityPriced-timed automataZone-based

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Formal Methods for Components and Objects
• Optimal infinite scheduling for multi-priced timed automata
• Scheduling with timed automata
• scientific article; zbMATH DE number 1796156

Cites work

• scientific article; zbMATH DE number 1701758 (Why is no real title available?)
• scientific article; zbMATH DE number 3177183 (Why is no real title available?)
• scientific article; zbMATH DE number 177824 (Why is no real title available?)
• scientific article; zbMATH DE number 1796156 (Why is no real title available?)
• scientific article; zbMATH DE number 1794360 (Why is no real title available?)
• scientific article; zbMATH DE number 1794367 (Why is no real title available?)
• A network simplex method
• Benchmarking and comparison of the task graph scheduling algorithms
• Scheduling aircraft landings -- the static case
• Uppaal in a nutshell

Cited in

(5)

• General quantitative specification theories with modal transition systems
• Backward symbolic optimal reachability in weighted timed automata
• Tools and Algorithms for the Construction and Analysis of Systems
• Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems
• Formal Methods for Components and Objects

Describes a project that uses

Uses Software

• UPPAAL CORA
• Uppaal
• Kronos

This page was built for publication: On using priced timed automata to achieve optimal scheduling

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