Mixed Nondeterministic-Probabilistic Automata - Fiabilité des Systèmes et des Logiciels Access content directly
Journal Articles Discrete Event Dynamic Systems Year : 2023

Mixed Nondeterministic-Probabilistic Automata

Abstract

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
Origin : Publisher files allowed on an open archive
licence : Copyright

Dates and versions

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

Licence

Attribution

Identifiers

Cite

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⟩
74 View
19 Download

Altmetric

Share

Gmail Facebook X LinkedIn More