A behavioural pseudometric for probabilistic transition systems

DOI10.1016/j.tcs.2004.09.035zbMath1070.68109OpenAlexW2063972032MaRDI QIDQ1770428

James Worrell, Franck Van Breugel

Publication date: 6 April 2005

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2004.09.035

zbMATH Keywords

PseudometricProbabilistic bisimilarityProbabilistic transition systemReal-valued modal logicTerminal coalgebra

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (46)

A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces ⋮ De Bakker-Zucker processes revisited ⋮ Recursively defined metric spaces without contraction ⋮ A pseudometric in supervisory control of probabilistic discrete event systems ⋮ The category-theoretic solution of recursive metric-space equations ⋮ Differential logical relations. II: Increments and derivatives ⋮ SOS specifications for uniformly continuous operators ⋮ Learning deterministic probabilistic automata from a model checking perspective ⋮ Kantorovich functors and characteristic logics for behavioural distances ⋮ Sound approximate and asymptotic probabilistic bisimulations for PCTL ⋮ Back to the format: a survey on SOS for probabilistic processes ⋮ Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems ⋮ Up-to techniques for behavioural metrics via fibrations ⋮ Value-passing CCS with noisy channels ⋮ Approximating Markov processes through filtration ⋮ Compositional bisimulation metric reasoning with Probabilistic Process Calculi ⋮ Computing branching distances with quantitative games ⋮ Dirichlet is natural ⋮ Metric Reasoning About $$\lambda $$-Terms: The General Case ⋮ Unnamed Item ⋮ Lattice-valued simulations for quantitative transition systems ⋮ A modal characterization of alternating approximate bisimilarity ⋮ A quantified coalgebraic van Benthem theorem ⋮ Up-To Techniques for Behavioural Metrics via Fibrations ⋮ (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras ⋮ The metric linear-time branching-time spectrum on nondeterministic probabilistic processes ⋮ Polynomial-time algorithms for computing distances of fuzzy transition systems ⋮ Approximation in quantale-enriched categories ⋮ On metrics for probabilistic systems: definitions and algorithms ⋮ Fuzzy Prokhorov metric on the set of probability measures ⋮ Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes ⋮ Domain theory, testing and simulation for labelled Markov processes ⋮ Unnamed Item ⋮ Logical characterization of branching metrics for nondeterministic probabilistic transition systems ⋮ Unnamed Item ⋮ Approximating and computing behavioural distances in probabilistic transition systems ⋮ Unnamed Item ⋮ Compositionality for quantitative specifications ⋮ Fibrational bisimulations and quantitative reasoning ⋮ Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity ⋮ A probabilistic calculus of cyber-physical systems ⋮ Differential logical relations, Part I: The simply-typed case ⋮ Approximating Markovian testing equivalence ⋮ Compositional weak metrics for group key update ⋮ Non Expansive ε-Bisimulations ⋮ On finitary functors and their presentations

Cites Work

• A fixed-point theorem in a category of compact metric spaces
• Solving reflexive domain equations in a category of complete metric spaces
• A probabilistic PDL
• Bisimulation through probabilistic testing
• Approximating labelled Markov processes
• Universal coalgebra: A theory of systems
• Reactive, generative, and stratified models of probabilistic processes
• Bisimulation for probabilistic transition systems: A coalgebraic approach
• Bisimulation for labelled Markov processes
• Domain equations for probabilistic processes
• On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
• Mass transhipment problems and ideal metrics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A behavioural pseudometric for probabilistic transition systems