Catalogue Search | MBRL
Are you sure you want to remove the book from the shelf?
{{itemTitle}}
6
result(s) for
"Panangaden, P. (Prakash)"
Sort by:
Labelled Markov processes
Labelled Markov processes are probabilistic versions of labelled transition systems with continuous state spaces. The book covers basic probability and measure theory on continuous state spaces and then develops the theory of LMPs. The main topics covered are bisimulation, the logical characterization of bisimulation, metrics and approximation theory. An unusual feature of the book is the connection made with categorical and domain theoretic concepts.
eBook
A Domain of Spacetime Intervals in General Relativity
We prove that a globally hyperbolic spacetime with its causality relation is a bicontinuous poset whose interval topology is the manifold topology. From this one can show that from only a countable dense set of events and the causality relation, it is possible to reconstruct a globally hyperbolic spacetime in a purely order theoretic manner. The ultimate reason for this is that globally hyperbolic spacetimes belong to a category that is equivalent to a special category of domains called interval domains. We obtain a mathematical setting in which one can study causality independently of geometry and differentiable structure, and which also suggests that spacetime emerges from something discrete.
Journal Article
Discrete Quantum Causal Dynamics
We give a mathematical framework to describe the evolution of open quantum systems subject to finitely many interactions with classical apparatuses and with each other. The systems in question may be composed of distinct, spatially separated subsystems which evolve independently, but may also interact. This evolution, driven both by unitary operators and measurements, is coded in a mathematical structure in such a way that the crucial properties of causality, covariance, and entanglement are faithfully represented. The key to this scheme is the use of a special family of spacelike slices—we call them locative—that are not so large as to result in acausal influences but large enough to capture nonlocal correlations.
Journal Article
A relational model of non-deterministic dataflow
We recast dataflow in a modern categorical light using profunctors as a generalisation of relations. The well-known causal anomalies associated with relational semantics of indeterminate dataflow are avoided, but still we preserve much of the intuitions of a relational model. The development fits with the view of categories of models for concurrency and the general treatment of bisimulation they provide. In particular, it fits with the recent categorical formulation of feedback using traced monoidal categories. The payoffs are: (1) explicit relations to existing models and semantics, especially the usual axioms of monotone IO automata are read off from the definition of profunctors; (2) a new definition of bisimulation for dataflow, the proof of the congruence of which benefits from the preservation properties associated with open maps; and (3) a treatment of higher-order dataflow as a biproduct, essentially by following the geometry of interaction programme.
Journal Article
Reengineering user interfaces
Most developers would like to avoid redesigning a system around a new interface. But turning a character-based interface into a graphical one requires significant time and resources. The authors describe how this process can be partially automated, giving the results of their own reverse-engineering effort.< >
Journal Article