Bisimulation for Feller-Dynkin processes

DOI10.1016/J.ENTCS.2019.09.004MaRDI QIDQ2133163zbMATH OpenOpenAlexWikidataFDO

Authors Linan Chen, Florence Clerc, Prakash Panangaden

Publication date 29 April 2022

Full work available at URL https://arxiv.org/abs/1904.00976

zbMATH Keywords

bisimulationcontinuous timediffusionMarkov processesstochastic processes

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Bisimulation and Simulation Relations for Markov Chains
• Hybrid Systems: Computation and Control
• Bisimulation for labelled Markov processes
• Probabilistic Bisimulation: Naturally on Distributions
• Hybrid Systems: Computation and Control

Cites work

• A calculus of communicating systems
• A theory of timed automata
• Approximate reasoning for real-time probabilistic processes
• Approximating labelled Markov processes
• Approximating Markov processes by averaging
• Bisimulation and cocongruence for probabilistic systems
• Bisimulation for Feller-Dynkin processes
• Bisimulation for labelled Markov processes
• Bisimulation through probabilistic testing
• Conditional expectation and the approximation of labelled Markov processes.
• Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
• Domain theory, testing and simulation for labelled Markov processes
• Expressiveness of probabilistic modal logics: a gradual approach
• scientific article; zbMATH DE number 3688686 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42272 (Why is no real title available?)
• scientific article; zbMATH DE number 192908 (Why is no real title available?)
• scientific article; zbMATH DE number 1028833 (Why is no real title available?)
• scientific article; zbMATH DE number 1478492 (Why is no real title available?)
• scientific article; zbMATH DE number 1862467 (Why is no real title available?)
• scientific article; zbMATH DE number 765034 (Why is no real title available?)
• scientific article; zbMATH DE number 2190526 (Why is no real title available?)
• scientific article; zbMATH DE number 3274494 (Why is no real title available?)
• Labelled Markov processes.
• Metrics for labelled Markov processes
• Stochastic-Process Limits
• The algorithmic analysis of hybrid systems

Cited in

(7)

• Bisimulation for Feller-Dynkin processes
• Towards a classification of behavioural equivalences in continuous-time Markov processes
• Process Bisimulation Via a Graphical Encoding
• A bisimulation for dynamic sealing
• Behavioural equivalences for continuous-time Markov processes
• Bisimulation for higher-order process calculi
• A behavioural pseudometric for continuous-time Markov processes

This page was built for publication: Bisimulation for Feller-Dynkin processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2133163)