Skip to Main content Skip to Navigation
Conference papers

Generalized Quantitative Analysis of Metric Transition Systems

Uli Fahrenberg 1 Axel Legay 1
1 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : 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 et.al. for analyzing quantitative behavior. In this paper, we show a vast generalization of the setting of de Alfaro et.al., 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 et.al. 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.
Complete list of metadata

Cited literature [48 references]  Display  Hide  Download

https://hal.inria.fr/hal-01087911
Contributor : Uli Fahrenberg <>
Submitted on : Thursday, November 27, 2014 - 9:29:30 AM
Last modification on : Tuesday, June 15, 2021 - 4:26:38 PM
Long-term archiving on: : Friday, April 14, 2017 - 9:59:50 PM

File

aplas.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

445

Files downloads

257