Forschungs- & Entwicklungsinformationsdienst der Gemeinschaft - CORDIS

FP5

AMETIST Berichtzusammenfassung

Project ID: IST-2001-35304
Gefördert unter: FP5-IST
Land: Denmark

Priced timed automata: theory, algorithms and applications

In ordinary timed automata (TA) essentially only time can be optimized as it can be represented by an additional clock that measures its value. There are many situations in which the relevant cost functions are richer, involving cost variables that grow at different rates at different states or are associated with certain transitions.

Some motivating examples are memory and power consumption in computers, setup and machine occupation costs in manufacturing as well as non uniform penalties for missing deadlines in systems with soft constraints. Priced timed automata constitute a natural extension of timed automata with such cost variables.

Although the dynamics of these variables renders the automata hybrid rather than timed, these variables do not really participate in the rest of the system dynamics (they do not appear in transition guards) and many problem are still decidable for this model.

Some new significant decidability results and algorithms for priced timed automata have been obtained in the second and third years of the project and have been integrated into to UPPAAL CORA tool.

We provided templates for modelling classical scheduling problems extended with costs, such as job-shop scheduling, task graph scheduling, aircraft landing, and vehicle routing with time windows. Also, we demonstrated the new modelling framework on some industrial scheduling problems, i.e. steel and lacquer production.

The development of the priced timed automata framework is one of the major scientific results of the AMETIST project.

Verwandte Informationen

Kontakt

Kim Guldstrand LARSEN, (Director of the Center for Embedded Software Systems)
Tel.: +96-35-8893
Fax: +98-15-9889
E-Mail-Adresse
Folgen Sie uns auf: RSS Facebook Twitter YouTube Verwaltet vom Amt für Veröffentlichungen der EU Nach oben