On using priced timed automata to achieve optimal scheduling

Jacob Illum Rasmussen; Kim Guldstrand Larsen; K. Subramani

doi:10.1007/s10703-006-0014-1

On using priced timed automata to achieve optimal scheduling

Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. Subramani

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

21 Citationer (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 (VHS 2005) and AMETIST (AMETIST 2005) and are
available in the recently released UPPAAL CORA (UPPAAL
CORA 2005), a variant of the real-time verification tool UPPAAL
(Larsen, Pettersson, & Yi 1997; Behrmann, David, &
Larsen 2004) specialized for cost-optimal reachability for the
extended model of so-called priced timed automata.

Originalsprog	Engelsk
Tidsskrift	Formal Methods in System Design
Vol/bind	29
Udgave nummer	1
Sider (fra-til)	97-114
Antal sider	18
ISSN	0925-9856
DOI	https://doi.org/10.1007/s10703-006-0014-1
Status	Udgivet - 2006
Begivenhed	International Symposium on Parallel and Distributed Processing - Nice, Frankrig Varighed: 22 apr. 2003 → 26 apr. 2003 Konferencens nummer: 17

Konference

Konference	International Symposium on Parallel and Distributed Processing
Nummer	17
Land/Område	Frankrig
By	Nice
Periode	22/04/2003 → 26/04/2003

Bibliografisk note

Udgivelsesdato: Juli
Volumne: 29

Adgang til dokumentet

10.1007/s10703-006-0014-1

http://planning.cis.strath.ac.uk/vvpsws/Accepted/paper3.pdf

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@inproceedings{6afd80a0a6ed11dbb8eb000ea68e967b,

title = "On using priced timed automata to achieve optimal scheduling",

abstract = "This contribution reports on the considerable effort made recentlytowards extending and applying well-established timedautomata technology to optimal scheduling and planningproblems. The effort of the authors in this direction has to alarge extent been carried out as part of the European projectsVHS (VHS 2005) and AMETIST (AMETIST 2005) and areavailable in the recently released UPPAAL CORA (UPPAALCORA 2005), a variant of the real-time verification tool UPPAAL(Larsen, Pettersson, & Yi 1997; Behrmann, David, &Larsen 2004) specialized for cost-optimal reachability for theextended model of so-called priced timed automata.",

author = "Rasmussen, {Jacob Illum} and Larsen, {Kim Guldstrand} and K. Subramani",

note = "Udgivelsesdato: Juli Volumne: 29; International Symposium on Parallel and Distributed Processing ; Conference date: 22-04-2003 Through 26-04-2003",

year = "2006",

doi = "10.1007/s10703-006-0014-1",

language = "English",

volume = "29",

pages = "97--114",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer",

number = "1",

}

TY - GEN

T1 - On using priced timed automata to achieve optimal scheduling

AU - Rasmussen, Jacob Illum

AU - Larsen, Kim Guldstrand

AU - Subramani, K.

N1 - Conference code: 17

PY - 2006

Y1 - 2006

N2 - This contribution reports on the considerable effort made recentlytowards extending and applying well-established timedautomata technology to optimal scheduling and planningproblems. The effort of the authors in this direction has to alarge extent been carried out as part of the European projectsVHS (VHS 2005) and AMETIST (AMETIST 2005) and areavailable in the recently released UPPAAL CORA (UPPAALCORA 2005), a variant of the real-time verification tool UPPAAL(Larsen, Pettersson, & Yi 1997; Behrmann, David, &Larsen 2004) specialized for cost-optimal reachability for theextended model of so-called priced timed automata.

AB - This contribution reports on the considerable effort made recentlytowards extending and applying well-established timedautomata technology to optimal scheduling and planningproblems. The effort of the authors in this direction has to alarge extent been carried out as part of the European projectsVHS (VHS 2005) and AMETIST (AMETIST 2005) and areavailable in the recently released UPPAAL CORA (UPPAALCORA 2005), a variant of the real-time verification tool UPPAAL(Larsen, Pettersson, & Yi 1997; Behrmann, David, &Larsen 2004) specialized for cost-optimal reachability for theextended model of so-called priced timed automata.

U2 - 10.1007/s10703-006-0014-1

DO - 10.1007/s10703-006-0014-1

M3 - Conference article in Journal

SN - 0925-9856

VL - 29

SP - 97

EP - 114

JO - Formal Methods in System Design

JF - Formal Methods in System Design

IS - 1

T2 - International Symposium on Parallel and Distributed Processing

Y2 - 22 April 2003 through 26 April 2003

ER -

On using priced timed automata to achieve optimal scheduling

Abstract

Konference

Bibliografisk note

Adgang til dokumentet

AUB Link

Fingeraftryk

Citationsformater