基准

基于约束传播抽象精化的混杂系统安全性验证本文研究非线性混杂系统的安全性验证问题。我们从一个经典的方法开始，使用区间算法来检查轨迹是否可以在矩形网格中移动。我们将这种方法放入一个抽象精化框架中，并通过开发一个额外的精化步骤来改进它，该步骤使用约束传播将信息添加到抽象中，而不引入新的网格元素。此外，该方法允许用复杂约束来描述切换条件、初始状态和不安全状态，而不是用对应于网格元素的集合来描述。然而，该方法可以很容易地实现，因为它基于一组定义良好的约束，在此基础上可以运行任何基于约束传播的解算器。这种实现的第一次测试是有希望的。