SpaceEx公司

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


zbMATH中的参考文献(参考文献70篇文章)

显示第1到第20个结果,共70个。
按年份排序(引用)
  1. 法伦堡,乌利;勒盖,阿克塞尔;夸斯,卡林:用定量博弈计算分支距离(2020)
  2. 加塞í索托,米里亚姆;Prabhakar,Pavithra:基于抽象的多面体交换系统稳定性验证(2020)
  3. 戈亚尔,马尼什;Duggirala,Parasara Sridhar:提取线性混合动力系统中安全违规引发的反例(2020)
  4. 马利克,阿维纳什;Roop,Partha:混合自动机的动态量化状态系统执行框架(2020)
  5. 苏伊纳加,科海;Ishizawa,Takuya:混合系统的广义属性定向可达性(2020)
  6. 孙浩;李俊峰:低推力下航天器相对运动可达集分析(2020)
  7. Tsachouridis,瓦西里奥斯A。;吉安塔米迪斯,乔治亚;巴萨吉安尼斯,Stylianos;Kouramas,Kostas:Schulz矩阵反演算法的形式分析:通用矩阵流求解器的计算机辅助验证范例(2020)
  8. 博戈莫洛夫,塞尔吉;福尔茨,马塞洛;弗雷希,戈兰;克什蒂安,波托姆金;Schilling,Christian:JuliaReach:基于集合的可达性工具箱(2019)
  9. 格朗斯基,杰西卡;本·萨西,穆罕默德·阿明;贝克,斯蒂芬;Sankaranarayanan,Sriram:模板多面体和双线性优化(2019)
  10. 迈耶,皮埃尔·让;德文波特,亚历克斯;Arcak,Murat:TIRA:区间可达性分析工具箱(2019)
  11. Sá北卡罗来纳州恩切斯é特别行政区;施耐德,杰拉多;阿伦特,沃尔夫冈;巴托奇、埃齐奥;比安库利,多梅尼科;科伦坡,基督教;法尔肯,伊莉ès;弗朗卡兰扎,阿德里安;克尔斯蒂ć, 高级đ安;楼人ço、 乔ã嗯。;尼科维奇,德扬;佩斯,戈登J。;鲁菲诺,何塞;西诺尔斯,朱利安;特劳特尔,德米特里;Weiss,Alexander:来自高级应用领域(超越软件)的运行时验证挑战调查(2019)
  12. 索戈孔,安德鲁;杰克逊,保罗B。;Johnson,Taylor T.:使用流管和连续不变量验证混合系统的安全性和持久性(2019)
  13. 川,黄勇;阮、阮越;汉密尔顿,纳撒尼尔;项伟明;Johnson,Taylor T.:高指数线性微分代数方程的可达性分析(2019)
  14. 博戈莫洛夫,塞尔吉;福尔茨,马塞洛;健康、安全与环境、安全与环境;维里,法国édé风险投资委员会;波德尔斯基,安德烈亚斯;Schilling,Christian:通过低维集和高维矩阵分解的Reach集近似(2018)
  15. 多恩,劳伦特;弗雷希,戈兰;帕帕斯,乔治J。;普拉泽,安德烈é: 混合动力系统验证(2018)
  16. Drechsler,Rolf(编辑):正式系统验证。最新技术和未来趋势(2018)
  17. 乐高公司ënt,阿德里安;迪特·桑德雷托,朱利安·亚历山德拉;查普特,亚历山大德;Fribourg,Laurent:非线性采样切换系统控制综合的改进算法(2018)
  18. 维莱加斯皮科,雨果内斯特;Aliprantis,Dionysios C.:具有恒定、任意和Lipschitz连续输入的线性动态系统的可达性分析(2018)
  19. 张辉;吴金钊:MPSoC数据动态的形式化验证与量化度量(2018)
  20. 巴克,斯坦利;博戈莫洛夫,塞尔吉;Althoff,Matthias:混合自动机可达性分析的时间触发保护转换(2017)

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