Spatio-temporal logic; CPS; Hybrid automata.;
机译:使用混合自动机对网络物理系统进行自动模式覆盖分析
机译:使用混合自动机对网络物理系统进行自动模式覆盖分析
机译:用于网络物理系统形式化建模和验证的混合自动机
机译:安全的网络物理系统的时空混合自动机:医学案例研究
机译:利用元胞自动机-马尔可夫链混合模型预测米利亚山的时空植被变化
机译:使用无线嵌入式EEG系统的生物医学网络物理系统应用程序的混合脑机接口
机译:通过LMI(混合系统)计算混合自动机的Lyapunov函数(<特殊部分>并发系统和混合系统)