违反

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


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

显示第1到第20个结果,共24个。
按年份排序(引用)
  1. 罗伯特J.莫斯:POMDPStressTesting.jl:黑盒系统的自适应压力测试(2021)不是zbMATH
  2. 戈亚尔,马尼什;Duggirala,Parasara Sridhar:提取线性混合动力系统中安全违规引发的反例(2020)
  3. Tsachouridis,瓦西里奥斯A。;吉安塔米迪斯,乔治亚;巴萨吉安尼斯,Stylianos;Kouramas,Kostas:Schulz矩阵反演算法的形式分析:通用矩阵流求解器的计算机辅助验证范例(2020)
  4. 马斯德雷奥;东泽,亚历山德拉;Seshia,Sanjit A.:具有机器学习组件的网络物理系统的合成伪造(2019)
  5. 费雷尔,托马斯;尼科维奇,德扬;东泽,亚历山德拉;伊藤,久弘;Kapinski,James:接口感知信号时序逻辑(2019)
  6. 杰哈,苏米特;提瓦里,阿什什;塞希亚,桑吉特A。;沙海、吐温;时间紧密性(2019年1月,使用Teleax信号的正时间紧密性学习)
  7. 马格伦,维克多;卡罗奇,皮埃尔·洛伊克;亨利昂,迪迪埃;Thirioux,Xavier:离散时间多项式系统可达集的半定逼近(2019)
  8. 塞萨尔桑切斯;施耐德,杰拉多;阿伦特,沃尔夫冈;巴托奇、埃齐奥;比安库利,多梅尼科;科伦坡,基督教;法尔肯,伊莉丝;弗朗卡兰扎,阿德里安;Krstić,Srđan;卢伦索,若昂。;尼科维奇,德扬;佩斯,戈登J。;鲁菲诺,何塞;西诺尔斯,朱利安;特劳特尔,德米特里;Weiss,Alexander:来自高级应用领域(超越软件)的运行时验证挑战调查(2019)
  9. 侯赛因锡拜;莫赫莱西,海军;Mitra,Sayan:在等变动态系统中使用对称变换进行安全验证(2019)
  10. 巴托奇、埃齐奥;费雷尔,托马斯;曼朱纳特,尼维迪莎;Ničković,Dejan:用STL在Simulink/Stateflow模型中定位断层(2018)
  11. 雅克希奇,斯特凡;巴托奇、埃齐奥;格罗苏,拉杜;阮,唐;Ničković,Dejan:使用编辑距离对STL进行定量监测(2018年)
  12. 乔斯卡,米兰;丹宁堡,弗里茨;保罗提,尼古拉;奎亚特科夫斯卡,玛尔塔;Brim,Luboš:随机生化系统的精确参数综合(2017)
  13. 德什穆克,乔蒂莫伊五世。;东泽,亚历山德拉;Ghosh,Shromona公司;金小青;朱尼瓦尔,加维特;Seshia,Sanjit A.:信号时序逻辑的强大在线监测(2017)
  14. 德什穆克,乔蒂莫伊五世。;马朱姆达尔,鲁帕克;Prabhu,Vinayak S.:使用Skorokod指标量化合规性(2017)
  15. Dreossi,Tommaso:Sapo:多项式动力系统的可达性计算和参数综合(2017)
  16. 黄振奇;范楚楚;Mitra,Sayan:时滞非线性网络动力学系统的有界不变验证(2017)
  17. 卡西姆,阿里;法尔肯,伊莉丝;Lafourcade,Pascal:电子考试的形式分析和离线监控(2017)
  18. 桑瓦尔,乌斯曼;Siddique,Umair:生物系统的结合精炼和信号时序逻辑(2017)
  19. 纳瓦罗-洛佩斯,伊娃·M。;Carter,Rebekah:混合动力系统中的死亡与如何反驳活性(2016)
  20. 巴托奇、埃齐奥;托卢萨,博鲁西;嫩子,劳拉;Sanguinetti,Guido:使用时间特性鲁棒性的随机模型的系统设计(2015)