Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration
Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration
复制标题
具有动态重构的随机程序的混合语义
DOI：
10.4204/eptcs.6.5
复制
发表时间：
2009
影响因子：
2.3
通讯作者：
A. Policriti
中科院分区：
文献类型：
--
作者：
L. Bortolussi;A. Policriti
我们开始通过审查的技术来近似随机程序的动态-写在随机过程代数-由一个混合系统，适合捕捉混合离散/连续演化。简而言之，离散动态保持随机，而连续演化以常微分方程给出，因此，整体技术自然地将分段确定性马尔可夫过程与随机程序相关联。在这项工作中的具体贡献包括在增加的灵活性的翻译计划，通过允许动态重新配置的程度的离散性/连续性的语义。我们还讨论了这种方法与其他生化系统的混合仿真策略的关系。
We begin by reviewing a technique to approximate the dynamics of stochastic programs --written in a stochastic process algebra-- by a hybrid system, suitable to capture a mixed discrete/continuous evolution. In a nutshell, the discrete dynamics is kept stochastic while the continuous evolution is given in terms of ODEs, and the overall technique, therefore, naturally associates a Piecewise Deterministic Markov Process with a stochastic program. The specific contribution in this work consists in an increase of the flexibility of the translation scheme, obtained by allowing a dynamic reconfiguration of the degree of discreteness/continuity of the semantics. We also discuss the relationships of this approach with other hybrid simulation strategies for biochemical systems.
影响因子：
4.4
作者：
Haseltine, EL;Rawlings, JB
通讯作者：
Rawlings, JB