CPS; DHA; HYSDEL; lunar rover;
机译:使用混合自动机对网络物理系统进行自动模式覆盖分析
机译:使用混合自动机对网络物理系统进行自动模式覆盖分析
机译:用于网络物理系统形式化建模和验证的混合自动机
机译:用于安全网络系统的离散混合自动机:宇航员案例研究
机译:组成混合离散事件系统和元胞自动机模型。
机译:使用无线嵌入式EEG系统的生物医学网络物理系统应用程序的混合脑机接口
机译:混合自动机,用于对复杂动态系统中的离散过渡建模