Institute of Computer Science, Czech Academy of Sciences, Prague, Czech Republic;
机译:严格的可达性约束,用于验证线性混合系统
机译:离散时间随机混合系统的验证:随机可避免的决策问题
机译:混合系统的安全验证和可达性分析
机译:混合系统验证中连续可达性的约束
机译:水平集方法在连续和混合系统中控制和可达性问题的应用。
机译:的计算心血管系统模型进行比较的连续流以同步无阀脉动流的血流动力学的验证左心室辅助装置
机译:混合系统验证中连续可达性的约束