违反

Breach,一个用于混合系统验证和参数综合的工具箱。我们描述了Breach,一个Matlab/C++工具箱,提供了一套连贯的基于仿真的技术,旨在分析混合动力系统的确定性模型。突破口的主要特点是便于大组轨迹的计算和性质研究。它依赖于一个高效的常微分方程数值解算器,该解算器还可以提供有关参数变化敏感性的信息。后者用于近似综合和可达性分析。一个主要的新特性是对度量区间时态逻辑(MITL)公式的健壮监视。突破口的应用领域从嵌入式系统设计到系统生物学的复杂非线性模型分析。


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

显示第1到第20个结果,共20个。
按年份排序(引用)

  1. Goyal,Manish;Duggirala,Parasara Sridhar:提取线性混合动力系统中安全违规引发的反例(2020年)
  2. Tsachouridis,Vassilios A.;Giantamidis,Georgios;Basagiannis,Stylianos;Kouramas,Kostas:Schulz矩阵反演算法的形式分析:通用矩阵流求解器的计算机辅助验证范式(2020)
  3. Dreossi,Tommaso;Donzé,Alexandre;Seshia,Sanjit A.:使用机器学习组件对网络物理系统进行组合伪造(2019年)
  4. Jha,Susmit;Tiwari,Ashish;Seshia,Sanjit A.;Sahai,Tuhin;Shankar,Natarajan:电传:使用紧密性度量从正面示例学习信号时序逻辑(2019年)
  5. Magron,Victor;Garoche,Pierre Loic;Henrion,Didier;Thirioux,Xavier:离散时间多项式系统可达集的半定逼近(2019)
  6. 塞萨尔桑切斯;施耐德,杰拉多;阿伦特,沃尔夫冈;巴托奇,埃齐奥;比安库利,多梅尼科;科伦坡,克里斯蒂安;法尔科内,伊莱;弗朗卡兰扎,阿德里安;克尔斯蒂奇,斯里安;卢伦索,若昂;尼科维奇,德扬;佩斯,戈登J;鲁菲诺,何塞;西诺尔,朱利安;特劳特尔,德米特里;韦斯,Alexander:来自高级应用领域(超越软件)的运行时验证挑战调查(2019)
  7. Sibai,Hussein;Mokhlesi,Navid;Mitra,Sayan:在等变动态系统中使用对称变换进行安全验证(2019)
  8. Jakšić,Stefan;Bartocci,Ezio;Grosu,Radu;Nguyen,Thang;Nicčković,Dejan:用编辑距离定量监测STL(2018年)
  9. šeška,米兰;Dannenberg,Frits;Paoletti,Nicola;Kwiatkowska,Marta;Brim,Luboš:随机生化系统的精确参数综合(2017)
  10. Deshmukh,Jyotirmoy V.;Donzé,Alexandre;Ghosh,Shromona;Jin,Xiaoqing;Juniwal,Garvit;Seshia,Sanjit A.:信号时序逻辑的强大在线监测(2017年)
  11. Deshmukh,Jyotirmoy诉;Majumdar,Rupak;Prabhu,Vinayak S.:使用Skorokod指标量化合规性(2017年)
  12. 动力学系统的可达性,2017年:masdreo系统的可达性
  13. 黄振奇;范楚初;米特拉,萨扬:时滞非线性网络动力系统的有界不变验证(2017)
  14. Kassem,Ali;Falcone,Yliès;Lafourcade,Pascal:电子考试的正式分析和离线监控(2017)
  15. Sanwal,Usman;Siddique,Umair:结合精炼和信号时序逻辑的生物系统(2017)
  16. Navarro-López,Eva M.;Carter,Rebekah:混合动力系统中的死亡与如何反驳活性(2016)
  17. Bartocci,Ezio;Bortolussi,Luca;Nenzi,Laura;Sanguinetti,Guido:使用时间特性鲁棒性的随机模型的系统设计(2015)
  18. Brim,Luboš;šeška,米兰;šafránek,大卫:生物系统的模型检查(2013)
  19. Annpureddy,Yashwanth;Liu,Che;Fainekos,Georgios;Sankaranarayanan,Sriram:S-Tariro:混合系统的时序逻辑证伪工具(2011)
  20. Donzé,Alexandre:Breach——混合系统验证和参数综合的工具箱(2010)ioport公司