流量*

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


zbMATH中的参考文献(参考文献22条)

显示第1到第20个结果,共22个。
按年份排序(引用)
  1. Bünger,Florian:Matlab/INTLAB中实现的求解ode的Taylor模型工具箱(2020)
  2. 马利克,阿维纳什;Roop,Partha:混合自动机的动态量化状态系统执行框架(2020)
  3. 苏伊纳加,科海;Ishizawa,Takuya:混合系统的广义属性定向可达性(2020)
  4. Tsachouridis,瓦西里奥斯A。;吉安塔米迪斯,乔治亚;巴萨吉安尼斯,Stylianos;Kouramas,Kostas:Schulz矩阵反演算法的形式分析:通用矩阵流求解器的计算机辅助验证范例(2020)
  5. 博戈莫洛夫,塞尔吉;福尔茨,马塞洛;弗雷希,戈兰;克什蒂安,波托姆金;Schilling,Christian:JuliaReach:基于集合的可达性工具箱(2019)
  6. 迈耶,皮埃尔·让;德文波特,亚历克斯;Arcak,Murat:TIRA:区间可达性分析工具箱(2019)
  7. Sá北卡罗来纳州恩切斯é特别行政区;施耐德,杰拉多;阿伦特,沃尔夫冈;巴托奇、埃齐奥;比安库利,多梅尼科;科伦坡,基督教;法尔肯,伊莉ès;弗朗卡兰扎,阿德里安;克尔斯蒂ć, 高级đ安;楼人ço、 乔ã嗯。;德尼科维奇;佩斯,戈登J。;鲁菲诺,何塞;西诺尔斯,朱利安;特劳特尔,德米特里;Weiss,Alexander:来自高级应用领域(超越软件)的运行时验证挑战调查(2019)
  8. 索戈孔,安德鲁;杰克逊,保罗B。;Johnson,Taylor T.:使用流管和连续不变量验证混合系统的安全性和持久性(2019)
  9. 川,黄勇;阮、阮越;汉密尔顿,纳撒尼尔;项伟明;Johnson,Taylor T.:高指数线性微分代数方程的可达性分析(2019)
  10. 乐高公司ënt,阿德里安;迪特·桑德雷托,朱利安·亚历山德拉;查普特,亚历山大德;Fribourg,Laurent:非线性采样切换系统控制综合的改进算法(2018)
  11. 巴克,斯坦利;博戈莫洛夫,塞尔吉;Althoff,Matthias:混合自动机可达性分析的时间触发保护转换(2017)
  12. 博戈莫洛夫,塞尔吉;弗雷希,戈兰;贾科布,米尔科;Henzinger,Thomas A.:反例引导的模板多面体细化(2017)
  13. 戴丽云;甘、婷;夏碧灿;詹乃俊:重审障碍证书(2017年)
  14. 德什穆克,乔蒂莫伊五世。;马朱姆达尔,鲁帕克;Prabhu,Vinayak S.:使用Skorokod指标量化合规性(2017)
  15. Dreossi,Tommaso:Sapo:多项式动力系统的可达性计算和参数综合(2017)
  16. 德劳西,托马索;当,曹;Piazza,Carla:多项式动力系统的可达性计算(2017)
  17. 古堡,埃里克;普托,西尔维:非线性连续系统的前向内近似可达性(2017)
  18. Sankaranarayanan,Sriram:非线性混合系统的基础抽象变化(2016)
  19. 应收账é奇加,尼科斯;卡宾斯基,詹姆斯;德什穆克,乔蒂莫伊五世。;普拉泽,安德烈é; Krogh,Bruce:动力总成控制系统的数字辅助演绎安全证明(2015)
  20. Hagemann,Willem:凸多面体上的有效几何运算及其在混合系统可达性分析中的应用(2015)