Mixed Nondeterministic-Probabilistic Interfaces
Interfaces Mixtes Probabilistes-Nondéterministes
Résumé
Interface theories are powerful frameworks supporting incremental and compositional design of systems through refinements and constructs for conjunction, and parallel composition. In this report we present a first Interface Theor -- |Modal Mixed Interfaces -- for systems exhibiting both non-determinism and randomness in their behaviour. The associated component model -- Mixed Markov Decision Processes -- is also novel and subsumes both ordinary Markov Decision Processes and Probabilistic Automata.
Les théories d’interfaces sont des formalismes de spécification. Elles permettent une spécification incrémentale grâce à une algèbre riched’opérateurs tels que le raffinement, la conjonction et la composition parallèle. Dans ce rapport, on propose une théorie d’interfaces, les Interfaces Modales Mixtes, qui permettent de spécifier des systèmes combinant étroitement des aspects probabilistes et non-déterministes. Les InterfacesModales Mixtes sont construites au-dessus du modèle de composant des Automates Mixtes, qui étend à la fois les Processus de Décision Markovienset les Automates Probabilistes.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|