Infinite Runs in Weighted Timed Automata with Energy Constraints

Patricia Bouyer; Uli Fahrenberg; Kim Guldstrand Larsen; Nicolas Markey; Jiri Srba

doi:10.1007/978-3-540-85778-5_4

Infinite Runs in Weighted Timed Automata with Energy Constraints

Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jiri Srba

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

155 Citations (Scopus)

Abstract

We study the problems of existence and construction of infinite schedules for finite weighted automata and one-clock weighted timed automata, subject to boundary constraints on the accumulated weight. More specifically, we consider automata equipped with positive and negative weights on transitions and locations, corresponding to the production and consumption of some resource (e.g. energy). We ask the question whether there exists an infinite path for which the accumulated weight for any finite prefix satisfies certain constraints (e.g. remains between 0 and some given upper-bound). We also consider a game version of the above, where certain transitions may be uncontrollable.

Original language	English
Title of host publication	6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08)
Number of pages	15
Publisher	Springer
Publication date	2008
Pages	33-47
ISBN (Print)	978-3-540-85777-8
DOIs	https://doi.org/10.1007/978-3-540-85778-5_4
Publication status	Published - 2008
Event	International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08) - Saint Malo, France Duration: 15 Sept 2008 → 17 Sept 2008 Conference number: 6

Conference

Conference	International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08)
Number	6
Country/Territory	France
City	Saint Malo
Period	15/09/2008 → 17/09/2008

Series	Lecture Notes in Computer Science
Number	5215
ISSN	0302-9743

Keywords

weighted automata
infinite runs

Access to Document

10.1007/978-3-540-85778-5_4

AUB Link

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

Cite this

@inproceedings{11fdcf40b67811dd852c000ea68e967b,

title = "Infinite Runs in Weighted Timed Automata with Energy Constraints",

abstract = "We study the problems of existence and construction of infinite schedules for finite weighted automata and one-clock weighted timed automata, subject to boundary constraints on the accumulated weight. More specifically, we consider automata equipped with positive and negative weights on transitions and locations, corresponding to the production and consumption of some resource (e.g. energy). We ask the question whether there exists an infinite path for which the accumulated weight for any finite prefix satisfies certain constraints (e.g. remains between 0 and some given upper-bound). We also consider a game version of the above, where certain transitions may be uncontrollable.",

keywords = "weighted automata, infinite runs, weighted automata, infinite runs",

author = "Patricia Bouyer and Uli Fahrenberg and Larsen, {Kim Guldstrand} and Nicolas Markey and Jiri Srba",

year = "2008",

doi = "10.1007/978-3-540-85778-5_4",

language = "English",

isbn = "978-3-540-85777-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "5215",

pages = "33--47",

booktitle = "6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08)",

address = "Germany",

note = "International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08) ; Conference date: 15-09-2008 Through 17-09-2008",

}

Bouyer, P, Fahrenberg, U, Larsen, KG, Markey, N & Srba, J 2008, Infinite Runs in Weighted Timed Automata with Energy Constraints. in 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08). Springer, Lecture Notes in Computer Science, no. 5215, pp. 33-47, International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08), Saint Malo, France, 15/09/2008. https://doi.org/10.1007/978-3-540-85778-5_4

Infinite Runs in Weighted Timed Automata with Energy Constraints. / Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand et al.
6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08). Springer, 2008. p. 33-47 (Lecture Notes in Computer Science; No. 5215).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Infinite Runs in Weighted Timed Automata with Energy Constraints

AU - Bouyer, Patricia

AU - Fahrenberg, Uli

AU - Larsen, Kim Guldstrand

AU - Markey, Nicolas

AU - Srba, Jiri

N1 - Conference code: 6

PY - 2008

Y1 - 2008

N2 - We study the problems of existence and construction of infinite schedules for finite weighted automata and one-clock weighted timed automata, subject to boundary constraints on the accumulated weight. More specifically, we consider automata equipped with positive and negative weights on transitions and locations, corresponding to the production and consumption of some resource (e.g. energy). We ask the question whether there exists an infinite path for which the accumulated weight for any finite prefix satisfies certain constraints (e.g. remains between 0 and some given upper-bound). We also consider a game version of the above, where certain transitions may be uncontrollable.

AB - We study the problems of existence and construction of infinite schedules for finite weighted automata and one-clock weighted timed automata, subject to boundary constraints on the accumulated weight. More specifically, we consider automata equipped with positive and negative weights on transitions and locations, corresponding to the production and consumption of some resource (e.g. energy). We ask the question whether there exists an infinite path for which the accumulated weight for any finite prefix satisfies certain constraints (e.g. remains between 0 and some given upper-bound). We also consider a game version of the above, where certain transitions may be uncontrollable.

KW - weighted automata

KW - infinite runs

KW - weighted automata

KW - infinite runs

U2 - 10.1007/978-3-540-85778-5_4

DO - 10.1007/978-3-540-85778-5_4

M3 - Article in proceeding

SN - 978-3-540-85777-8

T3 - Lecture Notes in Computer Science

SP - 33

EP - 47

BT - 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08)

PB - Springer

T2 - International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08)

Y2 - 15 September 2008 through 17 September 2008

ER -

Infinite Runs in Weighted Timed Automata with Energy Constraints

Abstract

Conference

Keywords

Access to Document

AUB Link

Fingerprint

Cite this