动态重构随机程序的混合语义
Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration
摘要：
我们首先回顾了一种技术来近似随机程序的动态-写在随机过程代数-由一个混合系统，适合捕捉混合离散/连续演化。简而言之，离散动态保持随机，而连续演化以常微分方程给出，因此，整体技术自然地将分段确定性马尔可夫过程与随机程序相关联。在这项工作中的具体贡献包括在增加的灵活性的翻译计划，通过允许动态重新配置的程度的离散性/连续性的语义。我们还讨论了这种方法与其他生化系统的混合仿真策略的关系。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
