This contribution reports on the considerable effort made recently towards extending and applying well-established timed automata technology to optimal scheduling and planning problems. The effort of the authors in this direction has to a large extent been carried out as part of the European projects VHS  and AMETIST  and are available in the recently released UPPAAL CORA , a variant of the real-time verification tool UPPAAL [20,5] specialized for cost-optimal reachability for the extended model of priced timed automata.
Revised Lectures of the Formal Methods for Components and Objects: Third International Symposium, Fmco 2004, Leiden, the Netherlands, November 2 – 5, 2004, 2005, p. 162-186
Main Research Area:
Lecture Notes in Computer Science
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004