Mixed Nondeterministic-Probabilistic Automata - Université Toulouse III - Paul Sabatier - Toulouse INP Accéder directement au contenu
Article Dans Une Revue Discrete Event Dynamic Systems Année : 2023

Mixed Nondeterministic-Probabilistic Automata

Résumé

Graphical models in probability and statistics are a core concept in the area of probabilistic reasoning and probabilistic programming-graphical models include Bayesian networks and factor graphs. For modeling and formal verification of probabilistic systems, probabilistic automata were introduced. This paper proposes a coherent suite of models consisting of Mixed Systems, Mixed Bayesian Networks, and Mixed Automata, which extend factor graphs, Bayesian networks, and probabilistic automata with the handling of nondeterminism. Each of these models comes with a parallel composition, and we establish clear relations between these three models. Also, we provide a detailed comparison between Mixed Automata and Probabilistic Automata.
Fichier principal
Vignette du fichier
HAL_Mixed_Nondeterministic_Probabilistic_Automata____HAL.pdf (888.01 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Licence : Copyright (Tous droits réservés)

Dates et versions

hal-04276789 , version 1 (09-11-2023)

Licence

Paternité

Identifiants

Citer

Albert Benveniste, Jean-Baptiste Raclet. Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism. Discrete Event Dynamic Systems, 2023, 2023, pp.1-58. ⟨10.1007/s10626-023-00375-x⟩. ⟨hal-04276789⟩
67 Consultations
18 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More