Compositional Design Methodology with Constraint Markov Chains

Abstract : A specification theory combines notions of specification and implementation with a satisfaction relation, a refinement relation and a set of operators that together support stepwise design. We propose a new abstraction, Constraint Markov Chains, and use it to construct a specification theory for Markov Chains. Constraint Markov Chains generalize previously known abstractions by allowing arbitrary constraints on probability distributions. Our theory is the first specification theory for Markov Chains closed under conjunction, parallel composition and synchronization. Moreover, all the operators and relations introduced are computable.
Type de document :
Rapport
[Research Report] RR-6993, INRIA. 2009
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00404304
Contributeur : Benoît Delahaye <>
Soumis le : mardi 25 mai 2010 - 12:55:09
Dernière modification le : mercredi 16 mai 2018 - 11:23:05
Document(s) archivé(s) le : jeudi 23 septembre 2010 - 12:54:02

Fichiers

RR-6993.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00404304, version 2

Citation

Benoit Caillaud, Benoît Delahaye, Kim Guldstrand Larsen, Axel Legay, Mikkel L. Pedersen, et al.. Compositional Design Methodology with Constraint Markov Chains. [Research Report] RR-6993, INRIA. 2009. 〈inria-00404304v2〉

Partager

Métriques

Consultations de la notice

567

Téléchargements de fichiers

171