abstraction-refinement(CEGAR); Systems; Hybrid;
机译:基于混合自动机的CEGAR,用于矩形混合系统
机译:用于住宅热泵系统混合热储罐中矩形封装相变材料厚度的分析和数值尺寸
机译:混合椭球-矩形区间算法在区间卡尔曼滤波不确定系统状态估计中的应用
机译:基于混合自动机的CEGAR用于矩形混合系统
机译:用于电动,混合动力和插电式混合动力汽车的电池/超电容器混合能量存储系统。
机译:一种基于前馈神经网络的新型混合模型和一种用于预测矩形混凝土钢管柱承载能力的一步算法
机译:混合系统的多次射击,基于CEGaR的证伪
机译:用于空间长期任务的氦2冷却系统:相分离和混合冷却系统Helium-2-Kuehlsysteme麻省理工学院Langen standzeiten fuer Weltraumanwendungen:phasentrennung,Hybrid-Kuehlsysteme