33 research outputs found
Generalized labelled Markov processes, coalgebraically
Coalgebras of measurable spaces are of interest in probability theory as a formalization of Labelled Markov Processes (LMPs). We discuss some general facts related to the notions of bisimulation and cocongruence on these systems, providing a faithful characterization of bisimulation on LMPs on generic measurable
spaces. This has been used to prove that bisimilarity on single LMPs is an equivalence, without assuming the state space to be analytic. As the second main contribution, we introduce the first specification rule format to define well-behaved composition operators for LMPs. This allows one to define process description languages on LMPs which are always guaranteed to have a fully-abstract semantics
Bisimulation and cocongruence for probabilistic systems
International audienc
The Power of Convex Algebras
Probabilistic automata (PA) combine probability and nondeterminism. They can
be given different semantics, like strong bisimilarity, convex bisimilarity, or
(more recently) distribution bisimilarity. The latter is based on the view of
PA as transformers of probability distributions, also called belief states, and
promotes distributions to first-class citizens.
We give a coalgebraic account of the latter semantics, and explain the
genesis of the belief-state transformer from a PA. To do so, we make explicit
the convex algebraic structure present in PA and identify belief-state
transformers as transition systems with state space that carries a convex
algebra. As a consequence of our abstract approach, we can give a sound proof
technique which we call bisimulation up-to convex hull.Comment: Full (extended) version of a CONCUR 2017 paper, to be submitted to
LMC
A domain-theoretic investigation of posets of sub-sigma-algebras (extended abstract)
Given a measurable space (X, M) there is a (Galois) connection between
sub-sigma-algebras of M and equivalence relations on X. On the other hand
equivalence relations on X are closely related to congruences on stochastic
relations. In recent work, Doberkat has examined lattice properties of posets
of congruences on a stochastic relation and motivated a domain-theoretic
investigation of these ordered sets. Here we show that the posets of
sub-sigma-algebras of a measurable space do not enjoy desired domain-theoretic
properties and that our counterexamples can be applied to the set of smooth
equivalence relations on an analytic space, thus giving a rather unsatisfactory
answer to Doberkat's question
The Power of Convex Algebras
Probabilistic automata (PA) combine probability and nondeterminism.
They can be given different semantics, like strong bisimilarity,
convex bisimilarity, or (more recently) distribution bisimilarity.
The latter is based on the view of PA as transformers of probability
distributions, also called belief states, and promotes distributions
to first-class citizens.
We give a coalgebraic account of the latter semantics, and explain
the genesis of the belief-state transformer from a PA. To do so, we
make explicit the convex algebraic structure present in PA and
identify belief-state transformers as transition systems with state
space that carries a convex algebra. As a consequence of our abstract
approach, we can give a sound proof technique which we call
bisimulation up-to convex hull
A theory for the semantics of stochastic and non-deterministic continuous systems
Preprint de capítulo del libro Lecture Notes in Computer Science book series (LNCS, volume 8453)The description of complex systems involving physical or biological components usually requires to model complex continuous behavior induced by variables such as time, distance, speed, temperature, alkalinity of a solution, etc. Often, such variables can be quantified probabilistically to better understand the behavior of the complex systems. For example, the arrival time of events may be considered a Poisson process or the weight of an individual may be assumed to be distributed according to a log-normal distribution. However, it is also common that the uncertainty on how these variables behave makes us prefer to leave out the choice of a particular probability and rather model it as a purely non-deterministic decision, as it is the case when a system is intended to be deployed in a variety of very different computer or network architectures. Therefore, the semantics of these systems needs to be represented by a variant of probabilistic automata that involves continuous domains on the state space and the transition relation. In this paper, we provide a survey on the theory of such kind of models. We present the theory of the so-called labeled Markov processes (LMP) and its extension with internal non-determinism (NLMP). We show that in these complex domains, the bisimulation relation can be understood in different manners. We show the relation between the different bisimulations and try to understand their expressiveness through examples. We also study variants of Hennessy-Milner logic thatprovides logical characterizations of some of these bisimulations.Supported by ANPCyT project PICT-2012-1823, SeCyT-UNC projects 05/B284 and 05/B497 and program 05/BP02, and EU 7FP grant agreement 295261 (MEALS).http://link.springer.com/chapter/10.1007%2F978-3-662-45489-3_3acceptedVersionFil: Budde, Carlos Esteban. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.Fil: Budde, Carlos Esteban. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.Fil: D'Argenio, Pedro Rubén. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.Fil: D'Argenio, Pedro Rubén. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.Fil: Sánchez Terraf, Pedro Octavio. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.Fil: Sánchez Terraf, Pedro Octavio. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.Fil: Wolovick, Nicolás. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina.Estadística y Probabilida