（混合）自动机和（随机）程序随机程序的混合自动机格

@文章{Bortolussi2013HybridAA，title={（混合）自动机和（随机）程序随机程序的混合自动机格}，author={Luca Bortolussi和Alberto Policriti}，日志={J.Log.Comput.}，年份={2013}，体积={23}，页码={761-798}，url={https://api.semanticscholar.org/CorpusID:14835006}}
提出了一种随机并发约束编程的替代语义，并提出了离散度可以动态变化的替代语义。
通过Publisher查看
空气.uniud.it
20引文
极具影响力的引文
1
背景引文
8
方法引文
6

本文中的数字

20引文

马尔可夫人口模型的混合行为

具有延迟转换的随机混合自动机用于模拟具有延迟的生化系统

随机HYPE：基于流的随机混合系统建模

定义了一种新的等效性，它捕获了两个模型具有相同随机行为、瞬时行为（如经典互模拟）和连续行为的情况，并通过装配线示例进行了说明。

基于时间特性鲁棒性的随机模型系统设计

随机模型时间特性的鲁棒性

鲁棒性的概念扩展到随机系统，表明这自然会导致鲁棒性分数的分布，以及如何近似鲁棒性分数及其关键指标的分布：平均鲁棒性和条件平均鲁棒性。

基于随机事件的随机CPS建模方法研究

    B.程杜德辉
    计算机科学、工程
    2014软件工程的理论方面…
  • 2014
本文给出了基于标记转换系统的SOHA的形式语法和语义，并提出了一种基于SOHA的建模方法，该方法利用求精和随机抽象提供了一种更合理的方法来简明地建模随机混合系统。

集体系统行为的连续近似：教程

Bio-PEPA的混合语义

细胞周期分子机械的混合模型

这项工作提出了一种受热带几何学思想启发的方法，可以简化、杂交和分析由多项式或有理常微分方程组成的细胞周期模型。

细胞周期分子机械的混合模型

这项工作提出了一种受热带几何学思想启发的方法，可以简化、杂交和分析由多项式或有理常微分方程组成的细胞周期模型。

39参考文献

用于（生物）建模的随机程序和混合自动机

这种构造的目的是提供一个框架，通过具有可变离散度的混合离散/连续动力学来近似随机行为。

随机程序的混合动力学

随机π-演算的混合动力学

描述了一种将化学基础形式的随机π演算过程映射为混合自动机的方法，以实现生化系统中控制项和分子项的分离。

混合自动机理论

    T.亨廷格
    计算机科学
    第11届IEEE逻辑年会论文集…
  • 1996
目的是证明来自离散并发系统理论的概念可以洞察部分连续系统，并且有限状态系统的验证方法可以用于分析具有不可数状态空间的某些系统。

具有动态重构的随机程序的混合语义

这项工作的具体贡献在于增加了翻译方案的灵活性，这是通过允许语义离散/连续程度的动态重新配置实现的。

（有点）离散的重要性

随机并发约束规划

随机过程代数混合逼近的极限行为

证明了由sCCP程序按系统规模概念参数化构造的连续时间马尔可夫链序列（CTMC）在发散规模的极限下收敛到混合近似。

时间自动机理论

随机并发约束规划中的生物系统建模

结果表明，sCCP被证明是一个通用和可扩展的框架，允许描述广泛的动力学行为和动力学定律。