Generalized Quantitative Analysis of Metric Transition Systems [chapter]

Uli Fahrenberg, Axel Legay
2013 Lecture Notes in Computer Science  
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
more » ... 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 measuring quantitative behavior.
doi:10.1007/978-3-319-03542-0_14 fatcat:d74dhm7kz5cxtb3yxz5qradbne