计算机技术与发展2020，Vol.30Issue(11)：1-6,6.DOI:10.3969/j.issn.1673-629X.2020.11.001
基于组件自动机的概率连续行为的形式化模型
Formal Model of Probabilistic Continuous Behavior Based on Component Automata
摘要
关键词
信息物理融合系统/组件交互自动机/概率迁移/连续动态性/形式化方法分类
信息技术与安全科学引用本文复制引用
卜星晨,曹子宁,王福俊..基于组件自动机的概率连续行为的形式化模型[J].计算机技术与发展,2020,30(11):1-6,6.基金项目
国家航空科学基金(20185152035,20150652008) （20185152035,20150652008）
中央高校基本科研业务费(NJ2019010) （NJ2019010）
