Generalized Quantitative Analysis of Metric Transition Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Generalized Quantitative Analysis of Metric Transition Systems


The formalism of metric transition systems, as introduced by de Alfaro, Faella and Stoelinga, is convenient for modeling systems and properties with quantitative information, such as probabilities or time. For a number of applications however, one needs other distances than the point-wise (and possibly discounted) linear and branching distances introduced by de Alfaro for analyzing quantitative behavior. In this paper, we show a vast generalization of the setting of de Alfaro, to a framework where any of a large number of other useful distances can be applied. Concrete instantiations of our framework hence give e.g. limit-average, discounted-sum, or maximum-lead linear and branching distances; in each instantiation, properties similar to the ones of de Alfaro hold. In the end, we achieve a framework which is not only suitable for modeling different kinds of quantitative systems and properties, but also for analyzing these by using different application-determined ways of mea-suring quantitative behavior.
Fichier principal
Vignette du fichier
aplas.pdf (429.74 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01087911 , version 1 (27-11-2014)



Uli Fahrenberg, Axel Legay. Generalized Quantitative Analysis of Metric Transition Systems. APLAS 2013 - 11th Asian Symposium Programming Languages and Systems, Dec 2013, Melbourne, Australia. pp.192 - 208, ⟨10.1007/978-3-319-03542-0_14⟩. ⟨hal-01087911⟩
221 View
78 Download



Gmail Facebook X LinkedIn More