普通人

普通人。在本文中，我们提出了工具AVERIST，它实现了多面体切换系统稳定性分析的算法方法。实现了作者在早期工作中提出的基于模型的抽象检查方法。该工具构造了一个抽象多面体混杂系统的加权图，并对该图进行分析以推断其稳定性。在混合系统不稳定的情况下，它还会在加权图中返回一个抽象的反例，指出潜在的失败原因。