普通人

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH参考文献(参考

显示结果1到3,共3个。
按年份排序(引用)

  1. García Soto,Miriam;Prabhakar,Pavithra:基于抽象的多面体交换系统稳定性验证(2020)
  2. Prabhakar,Pavithra;García Soto,Miriam:切换线性系统稳定性分析的杂交(2016)
  3. Prabhakar,Pavithra;Soto,Miriam García:AVERIST:算法稳定性验证者(2015)ioport公司