Guided synthesis of control programs using UPPAAL

MaRDI QIDQ2743706zbMATH OpenFDO

Authors Thomas Hune, Paul Pettersson, Kim G. Larsen

Publication date 27 September 2001

Published in Nordic Journal of Computing (Search for Journal in Brave)

zbMATH Keywords

scheduling problem

Mathematics Subject Classification ID

Distributed systems (68M14) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Recommendations

• scientific article; zbMATH DE number 2143087
• Template-based controller synthesis for timed systems
• Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
• Computing efficient operation schemes for chemical plants in multi-batch mode
• scientific article; zbMATH DE number 2086417

Cited in

(7)

• Schedulability analysis of fixed-priority systems using timed automata
• Verifying untimed and timed aspects of the experimental batch plant
• Predictable real-time software synthesis
• Task automata: Schedulability, decidability and undecidability
• Model-based verification, optimization, synthesis and performance evaluation of real-time systems
• Discount-optimal infinite runs in priced timed automata
• How to stop time stopping

Describes a project that uses

Uses Software

• Uppaal

This page was built for publication: Guided synthesis of control programs using UPPAAL

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