Mixed Nondeterministic-Probabilistic Interfaces - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2020

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.
Fichier principal
Vignette du fichier
RR-9372.pdf (1.08 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02985273 , version 1 (05-11-2020)

Identifiants

Citer

Albert Benveniste, Kim G Larsen, Jean-Baptiste Raclet. Mixed Nondeterministic-Probabilistic Interfaces. [Research Report] RR-9372, Inria Rennes Bretagne Atlantique; Aalborg University; Université de Toulouse 3 Paul Sabatier. 2020, pp.40. ⟨hal-02985273⟩
123 Consultations
183 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More