基准点

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


ZBMaX中的参考文献(24篇)1标准条款

显示结果1至20的24。
按年份排序(引文
  1. 杨,Zhengfeng;吴,闵;林,王:一种有效的不确定非线性混合系统的障碍证书生成框架(2020)
  2. Doyen,劳伦特;弗雷斯,Goran;帕帕斯,George J.;Paltz,安德烈:混合系统的验证(2018)
  3. 张,慧;吴,Jinzhao:MPSoC数据动力学的形式化验证和定量度量(2018)
  4. 戴,Liyun;Gan,Ting;夏,碧安;湛,奈军:再障证(2017)
  5. Bernardeschi,Cinzia;DimeNICI,安德列:用原型验证系统验证交互式非线性定理证明非线性控制的安全性(2016)
  6. 纳瓦罗尔·佩兹、Eva M.、卡特、利贝卡:混合动力系统中的死性和如何证明活性(2016)
  7. DZETKULI,Tom:Chebyshev基非线性常微分方程的严格积分(2015)
  8. 林,王;吴,闵;杨,Zhengfeng;Zeng,甄兵:混合系统的精确安全验证:平方和表示法(2014)
  9. 哈恩,Ernst Moritz;Hartmanns,ARND;Helman,霍格尔;Katoen,Joost Pieter:随机混合系统的组成建模和分析框架(2013)
  10. Hiraishi,Kunihiko;小林定人,Koich:实状态空间上转换系统盒抽象的近似算法(2013)
  11. 她,智坤;李,Haoyang;薛,白;郑,智明;夏,毕单:连续动力系统的多项式李雅普诺夫函数的发现(2013)
  12. 张,Lijun;她,Zhikun;Ratschan,斯特凡;Helman,霍格尔;HHN,Ernst Moritz:概率混合系统的安全验证(2012)
  13. Ramdani,NACIM;Nedialkov,Nedialko S.:利用区间约束传播技术计算不确定非线性混合系统可达集(2011)
  14. Guver,赫尔曼;Koprowski,亚当;Synink,丹;van der Weegen,Eeli:自动机器检查混合系统安全证明(2010)
  15. Ratschan,斯特凡;她,Zhikun:通过计算李雅普诺夫函数来为多项式系统的目标区域提供一个吸引点(2010)
  16. Akbarpour,BeZad;保尔森,Lawrence C.:TexTrtMeTyTraciin在控制和混合系统验证中的应用(2009)
  17. 普拉库,Erion;卡夫拉基,Lydia E.;瓦迪,Moshe Y.:混合系统:通过运动规划和离散搜索相结合从验证到伪造(2009)
  18. Sankaranarayanan,Sriram;Dang-Taao;伊凡·I,Frangjo:利用模板多面体的混合系统符号模型检验(2008)
  19. 她,Zhikun;郑,智明:加强线性混合系统验证的可达性约束(2008)
  20. Ratschan,斯特凡;她,智坤:基于约束传播抽象提炼的混合系统的安全验证。(2007)伊波尔特