We introduce \((\varepsilon , \delta )\) -bisimulation, a novel type of approximate probabilistic bisimulation for continuous-time Markov chains. In contrast to related notions, \((\varepsilon , \delta )\) -bisimulation allows the use of different tolerances for the transition probabilities ( \(\varepsilon \) , additive) and total exit rates ( \(\delta \) , multiplicative) of states. Fundamental properties of the notion, as well as bounds on the absolute difference of time- and reward-bounded reachability probabilities for \((\varepsilon ,\delta )\) -bisimilar states, are established.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains

  • Timm Spork,
  • Christel Baier,
  • Joost-Pieter Katoen,
  • Sascha Klüppelholz,
  • Jakob Piribauer

摘要

We introduce \((\varepsilon , \delta )\) -bisimulation, a novel type of approximate probabilistic bisimulation for continuous-time Markov chains. In contrast to related notions, \((\varepsilon , \delta )\) -bisimulation allows the use of different tolerances for the transition probabilities ( \(\varepsilon \) , additive) and total exit rates ( \(\delta \) , multiplicative) of states. Fundamental properties of the notion, as well as bounds on the absolute difference of time- and reward-bounded reachability probabilities for \((\varepsilon ,\delta )\) -bisimilar states, are established.