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

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

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)

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

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)