Stochastic semantics for Communicating Piecewise Deterministic Markov Processes
Stochastic semantics for Communicating Piecewise Deterministic Markov Processes
复制标题
用于通信分段确定性马尔可夫过程的随机语义
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
A. Schaft
中科院分区：
文献类型：
--
作者：
S. Strubbe;A. Schaft
CPDP（通信分段确定性马尔可夫过程）可用于由 PDP（分段确定性马尔可夫过程）形成的随机混合过程类系统的组合规范。我们给出了[6]的CPDP模型的扩展。此扩展提供了更丰富的交互可能性，例如同时广播（和接收）多个信号。我们证明 |P A| [7] 中的运算符可以在 CPDP 上下文中使用来表达所有这些交互。我们提供了一种算法，其中使用调度和最大进度来查找对这种新型 CPDP 的行为进行建模的 PDP。我们给出了 CPDP 允许这种 PDP 语义的条件。
CPDPs (Communicating Piecewise Deterministic Markov Processes) can be used for compositional specification of systems from the class of stochastic hybrid processes formed by PDPs (Piecewise Deterministic Markov Processes). We give an extension of the CPDP model of [6]. This extension provides richer interaction possibilities such as broadcasting (and recieving) of multiple signals at the same time. We show that the |P A| operator from [7] can be used in the context of CPDPs to express all these interactions. We provide an algorithm in which scheduling and maximal progress are used to find the PDP that models the behavior of a CPDP of this new type. We give the conditions under which a CPDP allows this PDP-semantics.