Discount-Optimal Infinite Runs in Priced Timed Automata

DOI10.1016/j.entcs.2009.05.039zbMath1347.68204OpenAlexW2069081759MaRDI QIDQ5179061

Uli Fahrenberg, Kim Guldstrand Larsen

Publication date: 19 March 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.05.039

zbMATH Keywords

timed automataoptimal schedulingpriced timed automatainfinite schedulesinfinite zones

Mathematics Subject Classification ID

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

Related Items (7)

Model measuring for discrete and hybrid systems ⋮ Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ Infinite Runs in Weighted Timed Automata with Energy Constraints ⋮ Multi-weighted automata and MSO logic ⋮ Discount-Optimal Infinite Runs in Priced Timed Automata ⋮ Quantitative analysis of weighted transition systems ⋮ Weighted register automata and weighted logic on data words

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Scheduling with timed automata
• Discount-Optimal Infinite Runs in Priced Timed Automata
• Hybrid Systems: Computation and Control
• Reactive Systems
• Formal Modeling and Analysis of Timed Systems

This page was built for publication: Discount-Optimal Infinite Runs in Priced Timed Automata