基准

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


zbMATH中的参考文献(参考文献25条,1标准件)

显示第1到第20个结果,共25个。
按年份排序(引用)
  1. 赵恒军;曾、夏;陈韬略;刘志明;伍德考克,吉姆:学习安全神经网络控制器与障碍证书(2021年)
  2. 杨正峰;吴敏;林,王:不确定非线性混合系统障碍证书生成的有效框架(2020)
  3. 多恩,劳伦特;弗雷希,戈兰;帕帕斯,乔治J。;Platzer,André:混合动力系统验证(2018)
  4. 张辉;吴金钊:MPSoC数据动态的形式化验证与量化度量(2018)
  5. 戴丽云;甘、婷;夏碧灿;詹乃俊:重审障碍证书(2017年)
  6. 贝尔纳德斯基,辛齐亚;Domenici,Andrea:通过与原型验证系统的交互定理证明验证非线性控制的安全特性(2016)
  7. 纳瓦罗-洛佩斯,伊娃·M。;Carter,Rebekah:混合动力系统中的死亡与如何反驳活性(2016)
  8. Dzetkulič,Tomš:切比雪夫基非线性常微分方程的严格积分(2015)
  9. 林,王;吴敏;杨正峰;曾振兵:用平方和表示混合动力系统的精确安全性验证(2014)
  10. 哈恩,恩斯特莫里茨;哈特曼,阿恩德;赫尔曼,霍尔格;Katoen,Joost Pieter:随机混杂系统的组合建模与分析框架(2013)
  11. 平井静子;Kobayashi,Koich:实态空间上过渡系统盒抽象的近似算法(2013)
  12. 她,志坤;李浩阳;薛、白;郑志明;夏比康:发现连续动力系统的多项式Lyapunov函数(2013)
  13. 张丽君;她,志坤;拉斯坎,斯特凡;赫尔曼,霍尔格;Hahn,Ernst Moritz:概率混合系统的安全验证(2012)
  14. 拉姆达尼,纳西姆;Nedialkov,Nedialko S.:使用区间约束传播技术计算不确定非线性混合系统的可达集(2011)
  15. 格韦尔斯,赫尔曼;科普罗夫斯基,亚当;西内克,丹;van der Weegen,Eelis:自动机器检查混合动力系统安全证明(2010)
  16. 拉斯坎,斯特凡;佘志坤:通过Lyapunov类函数的计算为多项式系统的目标区域提供吸引域(2010)
  17. 阿克巴普尔,贝沙德;Paulson,Lawrence C.:\texttmetitarski在控制和混合动力系统验证中的应用(2009)
  18. 广场,埃利昂;卡夫拉基,莉迪亚·E。;Vardi,Moshe Y.:混合系统:通过结合运动规划和离散搜索从验证到证伪(2009)
  19. 斯里拉姆Sankaranarayanan;当,曹;使用混合多面体系统的符号多面体检查(2008)
  20. 她,志坤;郑志明:线性混合系统验证的可及性约束(2008)