Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/B96393MaRDI QIDQ5308409zbMATH OpenOpenAlexFDO

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

Publication date 28 September 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b96393

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Formal languages and automata (68Q45) Deterministic scheduling theory in operations research (90B35) Linear programming (90C05)

Recommendations

• On using priced timed automata to achieve optimal scheduling
• Formal Methods for Components and Objects
• scientific article; zbMATH DE number 1794367
• scientific article; zbMATH DE number 1796156
• Optimal infinite scheduling for multi-priced timed automata

Cited in

(14)

• On the complexities of selected satisfiability and equivalence queries over Boolean formulas and inclusion queries over hulls
• Backward symbolic optimal reachability in weighted timed automata
• Towards a tropical automaton product minimizing global completion times
• scientific article; zbMATH DE number 1701758 (Why is no real title available?)
• Model-based verification, optimization, synthesis and performance evaluation of real-time systems
• Survey on Directed Model Checking
• Model checking logic WCTL with multi constrained modalities on one clock priced timed automata
• Population based methods for optimising infinite behaviours of timed automata
• A Kleene-Schützenberger Theorem for Weighted Timed Automata
• Formal Methods for Components and Objects
• Monte Carlo tree search for priced timed automata
• Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems
• A Kleene-Schützenberger theorem for weighted timed automata
• On using priced timed automata to achieve optimal scheduling

Describes a project that uses

Uses Software

• Uppaal

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems

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