Mixed Nondeterministic-Probabilistic Automata - Assistance à la Certification d’Applications DIstribuées et Embarquées
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

Copyright

Identifiers

Cite

Albert Benveniste, Jean-Baptiste Raclet. Mixed Nondeterministic-Probabilistic Automata. Discrete Event Dynamic Systems, 2023, 2023, pp.1-58. ⟨10.1007/s10626-023-00375-x⟩. ⟨hal-04276789⟩
441 View
104 Download

Altmetric

Share

More