Simulation for Continuous-Time Markov Chains

机译：连续时间马尔可夫链的仿真

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper presents a simulation preorder for continuous-time Markov chains (CTMCs). The simulation preorder is a conservative extension of a weak variant of probabilistic simulation on fully probabilistic systems, i.e., discrete-time Markov chains. The main result of the paper is that the simulation preorder preserves safety and liveness properties expressed in continuous stochastic logic (CSL), a stochastic branching-time temporal logic interpreted over CTMCs.

机译：本文提出了连续时间马尔可夫链（CTMC）的仿真预购。模拟预排序是对完全概率系统（即离散时间马尔可夫链）上概率模拟的弱变体的保守扩展。本文的主要结果是，仿真预购保留了以连续随机逻辑（CSL）表示的安全性和生命力属性，该连续随机逻辑是在CTMC上解释的随机分支时间时序逻辑。

著录项

来源
《13th International Conference on CONCUR 2002 - Concurrency Theory, Aug 20-23, 2002, Brno, Czech Republic》|2002年|p.338-354|共17页
会议地点 Brno(SK);Brno(SK)
作者
Christel Baier; Joost-Pieter Katoen; Holger Hermanns; Boudewijn Haverkort;
展开▼
作者单位

Institut fuer Informatik I, University of Bonn Roemerstrasse 164, D-53117 Bonn, Germany;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Bounding inferences for large-scale continuous-time Markov chains: A new approach based on lumping and imprecise Markov chains [J] . Erreygers Alexander, De Bock Jasper 高分子論文集 . 2019,第Deca期

机译：大规模连续时间马尔可夫链的边界推论：一种基于集总和不精确马尔可夫链的新方法
2. Joint coverage probability in a simulation study on continuous-time Markov chain parameter estimation [J] . Benoit Julia S., Chan Wenyaw, Doody Rachelle S. Journal of applied statistics . 2015,第11a12期

机译：连续时间马尔可夫链参数估计的仿真研究中的联合覆盖概率
3. ON THE MARKOV PROPERTY OF THE OCCUPATION TIME FOR CONTINUOUS-TIME INHOMOGENEOUS MARKOV CHAINS [J] . A. A. Vorotov Journal of Mathematical Sciences . 2015,第2期

机译：连续时间非均匀马尔可夫链占位时间的马尔可夫性质
4. Interval Continuous-Time Markov Chains simulation [C] . Galdino Sergio International Conference on Fuzzy Theory and it's Applications . 2013

机译：间隔连续时间马尔可夫链模拟
5. Analysis of bivariate longitudinal discrete data: A joint continuous-time Markov chains approach [D] . Wu, Chih-Hsien 2016

机译：二元纵向离散数据分析：联合连续时间马尔可夫链方法
6. SIMULATION FROM ENDPOINT-CONDITIONED CONTINUOUS-TIME MARKOV CHAINS ON A FINITE STATE SPACE WITH APPLICATIONS TO MOLECULAR EVOLUTION [O] . Asger Hobolth, Eric A. Stone -1

机译：动态模拟端点空调连续时间的马尔可夫链在有限状态空间应用程序分子进化
7. Simulation for Continuous-Time Markov Chains [O] . Christel Baiera, Joost-pieter Katoenb, Holger Hermannsb, 2015

机译：连续时间马氏链的仿真
8. Convergence Properties of Continuous-Time Markov Chains with Application to Target Search [R] . Jun, M. , Jeffcoat, D. E. 2005

机译：连续时间马氏链的收敛性及其在目标搜索中的应用

Simulation for Continuous-Time Markov Chains

摘要

著录项

相似文献

相关主题

期刊订阅