机译:ACTL强否定及其在混合系统验证中的应用
Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, USA;
verification; hybrid systems; model checking; abstraction;
机译:ACTL公式的线性模板及其在基于SAT的验证中的应用
机译:仿射约束动力学的正不变性及其在混合系统和安全性验证中的应用
机译:剩余格的直觉风格顺序系统中的否定
机译:Contl强大的否定及其在混合系统验证中的应用
机译:开发和验证用于智能电网应用的混合AC / DC电力系统中的控制和保护策略。
机译:验证虚拟临床试验应用的混合乳房成像仿真框架的准确性
机译:智能电网应用混合交直流电力系统控制与保护策略的开发与验证
机译:周期控制混合系统的验证:在自主车辆中的应用