Formal verification; Hybrid systems; Barrier certificates; Bilinear matrix inequalities;
机译:不确定非线性的屏障证书生成有效框架
机译:一种解决可再生能源渗透率高的发电扩展计划问题的圆柱发电方法
机译:评估通过清真认证的障碍:模糊的DEMATEL方法
机译:解决壁垒证书生成中BMI问题的新方法
机译:用于求解离散的扩展切片平衡方法坐在下一代超级计算机上的中性粒子传输方程
机译:朝向准确的微观计算溶剂化熵:延长抑制释放方法以研究溶剂化效应
机译:一种解决BLIER证书生成BMI问题的新方法