流量*

Flow*:非线性混合系统的分析仪。刀具流*对非线性(多项式)混合系统执行基于泰勒模型的流管构造。Flow*结合了著名的Taylor模型算法技术,用于保证每个模式下连续动态的近似,以及处理模式不变量和离散转换的方法的组合。Flow*支持多种优化,包括自适应步长、自适应选择近似阶数和启发式选择模板方向来聚集flowpipe。本文描述了Flow*并在一系列非线性连续系统和混合系统基准测试中证明了它的性能。我们的比较表明Flow*与其他工具相比具有竞争力。


zbMATH参考文献(参考 21篇文章 参考)

显示第1到第20个结果,共21个。
按年份排序(引用)
  1. Bünger,Florian:Matlab/INTLAB中实现的求解ode的Taylor模型工具箱(2020)
  2. Malik,Avinash;Roop,Partha:混合自动机的动态量化状态系统执行框架(2020)
  3. Suenaga,Kohei;Ishizawa,Takuya:混合动力系统的广义属性导向可达性(2020)
  4. Tsachouridis,Vassilios A.;Giantamidis,Georgios;Basagiannis,Stylianos;Kouramas,Kostas:Schulz矩阵反演算法的形式分析:通用矩阵流求解器的计算机辅助验证范式(2020)
  5. Bogomolov,Sergiy;Forets,Marcelo;Frehse,Goran;Potomkin,Kostiantyn;Schilling,Christian:基于集合的可达性工具箱(2019)
  6. Meyer,Pierre-Jean;Devenport,Alex;Arcak,Murat:TIRA:区间可达性分析工具箱(2019年)
  7. 塞萨尔桑切斯;施耐德,杰拉多;阿伦特,沃尔夫冈;巴托奇,埃齐奥;比安库利,多梅尼科;科伦坡,克里斯蒂安;法尔科内,伊莱;弗朗卡兰扎,阿德里安;克尔斯蒂奇,斯里安;卢伦索,若昂;尼科维奇,德扬;佩斯,戈登J;鲁菲诺,何塞;西诺尔,朱利安;特劳特尔,德米特里;韦斯,Alexander:来自高级应用领域(超越软件)的运行时验证挑战调查(2019)
  8. Andrew Sogokon;Jackson,Paul B.;Johnson,Taylor T.:使用流管和连续不变量验证混合系统中的安全性和持久性(2019年)
  9. Tran,Hoang Dung;Nguyen,Luan Viete;Hamilton,Nathaniel;Xiang,Weiming;Johnson,Taylor T.:高指数线性微分代数方程的可达性分析(2019)
  10. Le Coënt,Adrien;dit Sandretto,Julien Alexandre;Chapout,Alexandre;Fribourg,Laurent:非线性采样切换系统控制综合的改进算法(2018)
  11. Bak,Stanley;Bogomolov,Sergiy;Althoff,Matthias:混合自动机可达性分析的时间触发保护转换(2017)
  12. 戴丽云;甘、婷;夏、碧灿;詹乃军:重新审查障碍证书(2017年)
  13. Deshmukh,Jyotirmoy诉;Majumdar,Rupak;Prabhu,Vinayak S.:使用Skorokod指标量化合规性(2017年)
  14. Dreossi,Tommaso:Sapo:多项式动力系统的可达性计算和参数综合(2017)
  15. Dreossi,Tommaso;Dang,Thao;Piazza,Carla:多项式动力系统的可达性计算(2017)
  16. Goubault,Eric;Putot,Sylvie:非线性连续系统的前向内近似可达性(2017)
  17. Sankaranarayanan,Sriram:非线性混合系统的基础抽象变化(2016)
  18. Aréchiga,Nikos;Kapinski,James;Deshmukh,Jyotirmoy V.;Platzer,André;Krogh,Bruce:《动力总成控制系统的数值辅助演绎安全证明》(2015)
  19. Hagemann,Willem:凸多面体上的有效几何运算及其在混合系统可达性分析中的应用(2015)
  20. Matsumoto,Shota;Kono,Fumihiko;Kobayashi,Teruya;Ueda,Kazunori:HyLaGi:混合约束语言HydLa的符号实现(2015)ioport公司