Infinite Runs in Weighted Timed Automata with Energy Constraints - Université de Rennes Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Infinite Runs in Weighted Timed Automata with Energy Constraints

Résumé

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 (\emphe.g.~energy). We~ask the question whether there exists an infinite path for which the accumulated weight for any finite prefix satisfies certain constraints (\emphe.g.~remains between~\(0\) and some given upper-bound). We~also consider a game version of the above, where certain transitions may be uncontrollable.
Fichier principal
Vignette du fichier
BFLMS-formats08.pdf (256.51 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01194594 , version 1 (07-09-2015)

Identifiants

Citer

Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jiří Srba. Infinite Runs in Weighted Timed Automata with Energy Constraints. Proceedings of the 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'08), 2008, Saint-Malo, France. pp.33-47, ⟨10.1007/978-3-540-85778-5_4⟩. ⟨hal-01194594⟩
369 Consultations
332 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More