123,983 research outputs found
Distribution-based bisimulation for labelled Markov processes
In this paper we propose a (sub)distribution-based bisimulation for labelled
Markov processes and compare it with earlier definitions of state and event
bisimulation, which both only compare states. In contrast to those state-based
bisimulations, our distribution bisimulation is weaker, but corresponds more
closely to linear properties. We construct a logic and a metric to describe our
distribution bisimulation and discuss linearity, continuity and compositional
properties.Comment: Accepted by FORMATS 201
Bisimilarity is not Borel
We prove that the relation of bisimilarity between countable labelled
transition systems is -complete (hence not Borel), by reducing the
set of non-wellorders over the natural numbers continuously to it.
This has an impact on the theory of probabilistic and nondeterministic
processes over uncountable spaces, since logical characterizations of
bisimilarity (as, for instance, those based on the unique structure theorem for
analytic spaces) require a countable logic whose formulas have measurable
semantics. Our reduction shows that such a logic does not exist in the case of
image-infinite processes.Comment: 20 pages, 1 figure; proof of Sigma_1^1 completeness added with
extended comments. I acknowledge careful reading by the referees. Major
changes in Introduction, Conclusion, and motivation for NLMP. Proof for Lemma
22 added, simpler proofs for Lemma 17 and Theorem 30. Added references. Part
of this work was presented at Dagstuhl Seminar 12411 on Coalgebraic Logic
Rational semimodules over the max-plus semiring and geometric approach of discrete event systems
We introduce rational semimodules over semirings whose addition is
idempotent, like the max-plus semiring, in order to extend the geometric
approach of linear control to discrete event systems. We say that a
subsemimodule of the free semimodule S^n over a semiring S is rational if it
has a generating family that is a rational subset of S^n, S^n being thought of
as a monoid under the entrywise product. We show that for various semirings of
max-plus type whose elements are integers, rational semimodules are stable
under the natural algebraic operations (union, product, direct and inverse
image, intersection, projection, etc). We show that the reachable and
observable spaces of max-plus linear dynamical systems are rational, and give
various examples.Comment: 24 pages, 9 postscript figures; example in section 4.3 expande
Unprovability of the Logical Characterization of Bisimulation
We quickly review labelled Markov processes (LMP) and provide a
counterexample showing that in general measurable spaces, event bisimilarity
and state bisimilarity differ in LMP. This shows that the logic in Desharnais
[*] does not characterize state bisimulation in non-analytic measurable spaces.
Furthermore we show that, under current foundations of Mathematics, such
logical characterization is unprovable for spaces that are projections of a
coanalytic set. Underlying this construction there is a proof that stationary
Markov processes over general measurable spaces do not have semi-pullbacks.
([*] J. Desharnais, Labelled Markov Processes. School of Computer Science.
McGill University, Montr\'eal (1999))Comment: Extended introduction and comments; extra section on semi-pullbacks;
11 pages Some background details added; extra example on the non-locality of
state bisimilarity; 14 page
The internal description of a causal set: What the universe looks like from the inside
We describe an algebraic way to code the causal information of a discrete
spacetime. The causal set C is transformed to a description in terms of the
causal pasts of the events in C. This is done by an evolving set, a functor
which to each event of C assigns its causal past. Evolving sets obey a Heyting
algebra which is characterised by a non-standard notion of complement.
Conclusions about the causal structure of the causal set can be drawn by
calculating the complement of the evolving set. A causal quantum theory can be
based on the quantum version of evolving sets, which we briefly discuss.Comment: Version to appear in Comm.Math.Phys. (minor modifications). 37 pages,
several eps figure
Branching Space-Times and Parallel Processing
There is a remarkable similarity between some mathematical objects used in the Branching Space-Times framework and those appearing in computer science in the fields of event structures for concurrent processing and Chu spaces. This paper introduces the similarities and formulates a few open questions for further research, hoping that both BST theorists and computer scientists can benefit from the project
- …