基准

基于约束传播抽象精化的混杂系统安全性验证本文研究非线性混杂系统的安全性验证问题。我们从一个经典的方法开始,使用区间算法来检查轨迹是否可以在矩形网格中移动。我们将这种方法放入一个抽象精化框架中,并通过开发一个额外的精化步骤来改进它,该步骤使用约束传播将信息添加到抽象中,而不引入新的网格元素。此外,该方法允许用复杂约束来描述切换条件、初始状态和不安全状态,而不是用对应于网格元素的集合来描述。然而,该方法可以很容易地实现,因为它基于一组定义良好的约束,在此基础上可以运行任何基于约束传播的解算器。这种实现的第一次测试是有希望的。


zbMATH中的参考文献(参考 24篇文章 24篇,1标准件)

显示第1到第20个结果,共24个。
按年份排序(引用)
  1. 杨正峰;吴敏;林,王:不确定非线性混合系统障碍证书生成的有效框架(2020)
  2. Doyen,Laurent;Frehse,Goran;Pappas,George J.;Platzer,André:混合动力系统验证(2018)
  3. 张辉;吴金钊:MPSoC数据动态的形式化验证与量化度量(2018)
  4. 戴丽云;甘、婷;夏、碧灿;詹乃军:重新审查障碍证书(2017年)
  5. Bernardeschi,Cinzia;Domenici,Andrea:通过与原型验证系统的交互定理证明验证非线性控制的安全特性(2016)
  6. Navarro-López,Eva M.;Carter,Rebekah:混合动力系统中的死亡与如何反驳活性(2016)
  7. Dzetkulič,Tomš:切比雪夫基非线性常微分方程的严格积分(2015)
  8. Lin,Wang;Wu,Min;Yang,Zhengfeng;Zeng,Zhenbing:使用平方和表示混合动力系统的精确安全性验证(2014)
  9. Hahn,Ernst Moritz;Hartmanns,Arnd;Hermanns,Holger;Katoen,Joost Pieter:随机混杂系统的组合建模与分析框架(2013)
  10. Hiraishi,Kunihiko;Kobayashi,Koich:实态空间上过渡系统盒抽象的近似算法(2013)
  11. 佘志坤;李浩阳;薛,白;郑志明;夏碧康:发现连续动力系统的多项式李雅普诺夫函数(2013)
  12. Zhang,Lijun;She,Zhikun;Ratschan,Stefan;Hermanns,Holger;Hahn,Ernst Moritz:概率混合系统的安全验证(2012)
  13. Ramdani,Nacim;Nedialkov,Nedialko S.:使用区间约束传播技术计算不确定非线性混合系统的可达集(2011)
  14. Geuvers,Herman;Koprowski,Adam;Synek,Dan;van der Weegen,Eelis:自动机器检查混合动力系统安全证明(2010)
  15. Ratschan,Stefan;She,Zhikun:通过计算类Lyapunov函数为多项式系统的目标区域提供吸引域(2010)
  16. Akbarpour,Behzad;Paulson,Lawrence C.:\texttmetitarski在控制和混合动力系统验证中的应用(2009)
  17. Plaku,Erion;Kavraki,Lydia E.;Vardi,Moshe Y.:混合系统:通过结合运动规划和离散搜索从验证到证伪(2009)
  18. Sankaranarayanan,Sriram;Dang,Thao;Ivančić,Franjo:使用模板多面体对混合系统进行符号模型检查(2008)
  19. 佘志坤;郑志明:线性混合系统验证的可及性约束(2008)
  20. Ratschan,Stefan;She,Zhikun:基于约束传播的抽象精化对混合系统的安全性验证。(2007年)ioport公司