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.
Type de document :
Communication dans un congrès
Chung-chieh Shan. APLAS 2013 - 11th Asian Symposium Programming Languages and Systems, Dec 2013, Melbourne, Australia. Springer, 8301, pp.192 - 208, 2013, LNCS - Lecture Notes in Computer Science. 〈10.1007/978-3-319-03542-0_14〉
Liste complète des métadonnées

Littérature citée [48 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01087911
Contributeur : Uli Fahrenberg <>
Soumis le : jeudi 27 novembre 2014 - 09:29:30
Dernière modification le : vendredi 16 novembre 2018 - 01:39:29
Document(s) archivé(s) le : vendredi 14 avril 2017 - 21:59:50

Fichier

aplas.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Uli Fahrenberg, Axel Legay. Generalized Quantitative Analysis of Metric Transition Systems. Chung-chieh Shan. APLAS 2013 - 11th Asian Symposium Programming Languages and Systems, Dec 2013, Melbourne, Australia. Springer, 8301, pp.192 - 208, 2013, LNCS - Lecture Notes in Computer Science. 〈10.1007/978-3-319-03542-0_14〉. 〈hal-01087911〉

Partager

Métriques

Consultations de la notice

373

Téléchargements de fichiers

63