Optimal scheduling using priced timed automata

Gerd Behrmann; Kim Guldstrand Larsen; Jacob Illum Rasmussen

Optimal scheduling using priced timed automata

Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen

Department of Computer Science

Research output: Contribution to journal › Journal article › Research

2 Citations (Scopus)

Abstract

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 [20] and AMETIST [16] and are available in the recently released UPPAAL CORA [12], a variant of the real-time verification tool UPPAAL [18, 5] specialized for cost-optimal reachability for the extended model of so-called priced timed automata.

Original language	English
Journal	SIGMETRICS Performance Evaluation Review - Measurement and Evaluation
Volume	32
Issue number	4
Pages (from-to)	34-40
ISSN	0163-5999
Publication status	Published - 2005

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@article{6ff56ce0add711da983a000ea68e967b,

title = "Optimal scheduling using priced timed automata",

abstract = "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 [20] and AMETIST [16] and are available in the recently released UPPAAL CORA [12], a variant of the real-time verification tool UPPAAL [18, 5] specialized for cost-optimal reachability for the extended model of so-called priced timed automata.",

author = "Gerd Behrmann and Larsen, {Kim Guldstrand} and Rasmussen, {Jacob Illum}",

year = "2005",

language = "English",

volume = "32",

pages = "34--40",

journal = "SIGMETRICS Performance Evaluation Review - Measurement and Evaluation",

issn = "0163-5999",

publisher = "Association for Computing Machinery",

number = "4",

}

TY - JOUR

T1 - Optimal scheduling using priced timed automata

AU - Behrmann, Gerd

AU - Larsen, Kim Guldstrand

AU - Rasmussen, Jacob Illum

PY - 2005

Y1 - 2005

N2 - 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 [20] and AMETIST [16] and are available in the recently released UPPAAL CORA [12], a variant of the real-time verification tool UPPAAL [18, 5] specialized for cost-optimal reachability for the extended model of so-called priced timed automata.

AB - 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 [20] and AMETIST [16] and are available in the recently released UPPAAL CORA [12], a variant of the real-time verification tool UPPAAL [18, 5] specialized for cost-optimal reachability for the extended model of so-called priced timed automata.

M3 - Journal article

SN - 0163-5999

VL - 32

SP - 34

EP - 40

JO - SIGMETRICS Performance Evaluation Review - Measurement and Evaluation

JF - SIGMETRICS Performance Evaluation Review - Measurement and Evaluation

IS - 4

ER -

Optimal scheduling using priced timed automata

Abstract

AUB Link

Fingerprint

Cite this