线性混合自动机相关论文
提出了一种基于归纳法思想的验证方法,通过控制周期上特性的描述,发现了基于控制周期特征式的线性混合自动机验证方法.这一方法采......
提出一种对现有软件体系结构的扩展来满足复杂的信息物理融合系统(CPS)的建模需求,增加对CPS的物理系统、物理系统的的联系交互、......
提出了一种基于归纳法思想的验证方法，通过控制周期上特性的描述，发现了基于控制周期特征式的线性混合自动机验证方法，这一方法采用定......
当前分析和设计物理信息系统的模型和方法通常是线性分离的,且由不同的数学形式化方法和工程与计算机科学中的不同方法定义。为便......
