SpaceEx公司

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


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

显示第1到第20个结果,共74个。
按年份排序(引用)
  1. 卡塞兹,弗朗克;詹森,彼得·居尔;Guldstrand,Larsen Kim:使用跟踪抽象精化的实时程序的验证和参数综合(2021)
  2. 卡塔鲁扎,达里奥;亚伯特,亚历山德罗;施拉梅尔,彼得;Kroneing,Daniel:通过抽象加速度输入的带保护LTI模型的无界时间安全验证(2021)
  3. 谭永健;Platzer,André:微分方程存在性和活性的公理化方法(2021)
  4. 法伦堡,乌利;勒盖,阿克塞尔;夸斯,卡林:用定量博弈计算分支距离(2020)
  5. 加西亚·索托,米里亚姆;Prabhakar,Pavithra:基于抽象的多面体交换系统稳定性验证(2020)
  6. 戈亚尔,马尼什;Duggirala,Parasara Sridhar:提取线性混合动力系统中安全违规引发的反例(2020)
  7. 马利克,阿维纳什;Roop,Partha:混合自动机的动态量化状态系统执行框架(2020)
  8. 苏伊纳加,科海;Ishizawa,Takuya:混合系统的广义属性定向可达性(2020)
  9. 孙浩;李俊峰:低推力下航天器相对运动可达集分析(2020)
  10. Tsachouridis,瓦西里奥斯A。;吉安塔米迪斯,乔治亚;巴萨吉安尼斯,Stylianos;Kouramas,Kostas:Schulz矩阵反演算法的形式分析:通用矩阵流求解器的计算机辅助验证范例(2020)
  11. 博戈莫洛夫,塞尔吉;福尔茨,马塞洛;弗雷希,戈兰;克什蒂安,波托姆金;Schilling,Christian:JuliaReach:基于集合的可达性工具箱(2019)
  12. 格朗斯基,杰西卡;本·萨西,穆罕默德·阿明;贝克,斯蒂芬;多面体和多面体优化(2019年)
  13. 迈耶,皮埃尔·让;德文波特,亚历克斯;Arcak,Murat:TIRA:区间可达性分析工具箱(2019)
  14. 塞萨尔桑切斯;施耐德,杰拉多;阿伦特,沃尔夫冈;巴托奇、埃齐奥;比安库利,多梅尼科;科伦坡,基督教;法尔肯,伊莉丝;弗朗卡兰扎,阿德里安;Krstić,Srđan;卢伦索,若昂。;尼科维奇,德扬;佩斯,戈登J。;鲁菲诺,何塞;西诺尔斯,朱利安;特劳特尔,德米特里;Weiss,Alexander:来自高级应用领域(超越软件)的运行时验证挑战调查(2019)
  15. 索戈孔,安德鲁;杰克逊,保罗B。;Johnson,Taylor T.:使用流管和连续不变量验证混合系统的安全性和持久性(2019)
  16. 川,黄勇;阮、阮越;汉密尔顿,纳撒尼尔;项伟明;Johnson,Taylor T.:高指数线性微分代数方程的可达性分析(2019)
  17. 博戈莫洛夫,塞尔吉;福尔茨,马塞洛;弗雷希,戈兰;维里,弗里克;波德尔斯基,安德烈亚斯;Schilling,Christian:通过低维集和高维矩阵分解的Reach集近似(2018)
  18. 陈,莫;赫伯特,西尔维亚L。;瓦希实他,玛哈什S。;班萨尔,索米尔;Tomlin,Claire J.:一类非线性系统的可达集与管的分解(2018)
  19. 多恩,劳伦特;弗雷希,戈兰;帕帕斯,乔治J。;Platzer,André:混合动力系统验证(2018)
  20. Drechsler,Rolf(编辑):正式系统验证。最新技术和未来趋势(2018)

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