verification of hybrid systems; differential invariants; verification logic; fixedpoint engine;
机译:将混合系统的微分不变量计算为不动点
机译:计算控制不变集,用于混合系统,应用于模型预测控制
机译:基于证明的使用不变量不变的混合系统开发方法
机译:计算混合系统的差分不变性作为固定点
机译:与非海森堡类型的两步幂等最大抛物线相关的微分算子的保形不变系统。
机译:具有不同校正方法的单光子发射计算机断层扫描/计算机断层扫描混合系统中心肌灌注成像对比度的变化
机译:计算混合系统的微分不变量作为不动点
机译:计算混合系统的微分不变量作为不动点