Probabilistic logic; Markov processes; Computational modeling; Cyber-physical systems; Reachability analysis; Partitioning algorithms;
机译:基于离散抽象的分段线性混合动力系统的安全性和可达性
机译:基于随机混合摄动技术的光滑有限元统计能量法,用于结构声学系统的中频分析,参数和非参数不确定
机译:连续时间随机混合系统的组成抽象合成
机译:有限分支随机混合系统的基于抽象可达性分析
机译:随机混合系统的概率可达性:理论,计算和应用。
机译:基于粗粒度空间抽象的混合系统引导搜索
机译:谓词抽象,用于混合系统的可达性分析