Skip to Main content Skip to Navigation
Reports

Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism

Albert Benveniste 1 Jean-Baptiste Raclet 2 
1 HYCOMES - Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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. In this paper we develop a new model of mixed (nondeterministic/probabilistic) automata that subsumes both nondeterministic automata and graphical probabilistic models. Mixed Automata are equipped with parallel composition, simulation relation, and support message passing algorithms inherited from graphical probabilistic models. Segala’s Probabilistic Automata can be mapped to Mixed Automata.
Complete list of metadata

https://hal.inria.fr/hal-03531059
Contributor : Albert Benveniste Connect in order to contact the contributor
Submitted on : Tuesday, January 18, 2022 - 10:10:15 AM
Last modification on : Wednesday, June 1, 2022 - 4:09:09 AM

Files

RR-9447.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03531059, version 1
  • ARXIV : 2201.07474

Citation

Albert Benveniste, Jean-Baptiste Raclet. Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism. [Research Report] RR-9447, Inria Rennes - Bretagne Atlantique. 2022, pp.1-52. ⟨hal-03531059⟩

Share

Metrics

Record views

32

Files downloads

26