SpaceEx公司

SpaceEx:混合系统的可扩展验证。针对具有分段仿射、非确定性动力学的混合系统,提出了一种可伸缩的可达性算法。它结合多面体和连续集的支持函数表示来计算可达状态的过近似。该算法通过使用可变的时间步长来保证给定的局部误差界。此外,我们提出了一种改进的近似模型,大大提高了算法的精度。该算法作为新的混合系统验证平台SpaceEx的一部分实现,该平台可在SpaceEx.imag.fr上获得。对于具有100个以上变量的混合系统的全定点计算的实验结果表明了该方法的可扩展性。


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

显示第1到第20个结果,共67个。
按年份排序(引文)
  1. 法伦伯格,乌利;莱盖,阿克塞尔;夸斯,卡林:用定量游戏计算分支距离(2020年)
  2. García Soto,Miriam;Prabhakar,Pavithra:基于抽象的多面体交换系统稳定性验证(2020)
  3. Goyal,Manish;Duggirala,Parasara Sridhar:提取线性混合动力系统中安全违规引发的反例(2020年)
  4. Malik,Avinash;Roop,Partha:混合自动机的动态量化状态系统执行框架(2020)
  5. Suenaga,Kohei;Ishizawa,Takuya:混合动力系统的广义属性导向可达性(2020)
  6. 孙浩;李俊峰:小推力下航天器相对运动可达集分析(2020)
  7. Tsachouridis,Vassilios A.;Giantamidis,Georgios;Basagiannis,Stylianos;Kouramas,Kostas:Schulz矩阵反演算法的形式分析:通用矩阵流求解器的计算机辅助验证范式(2020)
  8. Bogomolov,Sergiy;Forets,Marcelo;Frehse,Goran;Potomkin,Kostiantyn;Schilling,Christian:基于集合的可达性工具箱(2019)
  9. Gronski,Jessica;Ben Sassi,Mohamed Amin;Becker,Stephen;Sankaranarayanan,Sriram:模板多面体和双线性优化(2019)
  10. Meyer,Pierre-Jean;Devenport,Alex;Arcak,Murat:TIRA:区间可达性分析工具箱(2019年)
  11. 塞萨尔桑切斯;施耐德,杰拉多;阿伦特,沃尔夫冈;巴托奇,埃齐奥;比安库利,多梅尼科;科伦坡,克里斯蒂安;法尔科内,伊莱;弗朗卡兰扎,阿德里安;克尔斯蒂奇,斯里安;卢伦索,若昂;尼科维奇,德扬;佩斯,戈登J;鲁菲诺,何塞;西诺尔,朱利安;特劳特尔,德米特里;韦斯,Alexander:来自高级应用领域(超越软件)的运行时验证挑战调查(2019)
  12. Andrew Sogokon;Jackson,Paul B.;Johnson,Taylor T.:使用流管和连续不变量验证混合系统中的安全性和持久性(2019年)
  13. Tran,Hoang Dung;Nguyen,Luan Viete;Hamilton,Nathaniel;Xiang,Weiming;Johnson,Taylor T.:高指数线性微分代数方程的可达性分析(2019)
  14. Bogomolov,Sergiy;Forets,Marcelo;Frehse,Goran;Viry,Frédéric;Podelski,Andreas;Schilling,Christian:通过使用低维集和高维矩阵分解达到集逼近(2018)
  15. Doyen,Laurent;Frehse,Goran;Pappas,George J.;Platzer,André:混合动力系统验证(2018)
  16. Le Coënt,Adrien;dit Sandretto,Julien Alexandre;Chapout,Alexandre;Fribourg,Laurent:非线性采样切换系统控制综合的改进算法(2018)
  17. Villegas Pico,Hugo Nestor;Aliprantis,Dionysios C.:具有恒定、任意和Lipschitz连续输入的线性动态系统的可达性分析(2018)
  18. 张辉;吴金钊:MPSoC数据动态的形式化验证与量化度量(2018)
  19. Bak,Stanley;Bogomolov,Sergiy;Althoff,Matthias:混合自动机可达性分析的时间触发保护转换(2017)
  20. Beneregetti,Massimo;Faella,Marco:线性混合动力系统中的平滑轨迹跟踪(2017)

更多出版物请访问:http://spaceex.imag.fr/documentation/publications