Formal verification; Hybrid systems; Barrier certificates; Linear programming relaxation;
机译:基于双线性规划的非线性混合系统安全性验证
机译:约束混合系统的基于最大加线性模型的预测控制:线性规划解决方案
机译:约束混合系统基于最大加线性模型的预测控制:线性规划解
机译:基于线性规划松弛的混合系统屏障证书生成方法
机译:一种从日语源文本生成语法规则的机器辅助方法,用于混合和基于规则的机器翻译系统。
机译:基于优先级索引的区间双层线性规划问题的新方法
机译:一种满足线性时间逻辑规范的混合屏障证书方法
机译:二元整数线性规划:一种混合隐式枚举方法