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 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.
Complete list of metadata

Cited literature [48 references]  Display  Hide  Download
Contributor : Uli Fahrenberg Connect in order to contact the contributor
Submitted on : Thursday, November 27, 2014 - 9:29:30 AM
Last modification on : Wednesday, February 2, 2022 - 3:50:39 PM
Long-term archiving on: : Friday, April 14, 2017 - 9:59:50 PM


Files produced by the author(s)



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⟩



Record views


Files downloads