S-塔利罗

S-TaLiRo:混合系统时序逻辑证伪工具。S-TaLiRo是一个Matlab(TM)工具箱,用于在Simulink/状态流图中搜索鲁棒性最小的轨迹。它可以分析任意Simulink模型或用户定义的为系统建模的函数。在该工具的核心部分,我们使用基于随机优化技术的随机测试,包括蒙特卡罗方法和蚁群优化。工具箱的优点之一是在Matlab环境下的无缝集成,在工业中广泛用于基于模型的控制软件开发。本文介绍了S-TaLiRo的体系结构,并给出了一个应用实例。


zbMATH参考文献(16篇文章引用)

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

  1. Goyal,Manish;Duggirala,Parasara Sridhar:提取线性混合动力系统中安全违规引发的反例(2020年)
  2. Kuřátko,Jan;Ratschan,Stefan:用可伸缩约束优化方法求解可达性问题(2020)
  3. Tsachouridis,Vassilios A.;Giantamidis,Georgios;Basagiannis,Stylianos;Kouramas,Kostas:Schulz矩阵反演算法的形式分析:通用矩阵流求解器的计算机辅助验证范式(2020)
  4. Dreossi,Tommaso;Donzé,Alexandre;Seshia,Sanjit A.:使用机器学习组件对网络物理系统进行组合伪造(2019年)
  5. Jha,Susmit;Tiwari,Ashish;Seshia,Sanjit A.;Sahai,Tuhin;Shankar,Natarajan:电传:使用紧密性度量从正面示例学习信号时序逻辑(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. Deshmukh,Jyotirmoy V.;Donzé,Alexandre;Ghosh,Shromona;Jin,Xiaoqing;Juniwal,Garvit;Seshia,Sanjit A.:信号时序逻辑的强大在线监测(2017年)
  10. Deshmukh,Jyotirmoy诉;Majumdar,Rupak;Prabhu,Vinayak S.:使用Skorokod指标量化合规性(2017年)
  11. Dreossi,Tommaso:Sapo:多项式动力系统的可达性计算和参数综合(2017)
  12. 黄振奇;范楚初;米特拉,萨扬:时滞非线性网络动力系统的有界不变验证(2017)
  13. Bartocci,Ezio;Bortolussi,Luca;Nenzi,Laura;Sanguinetti,Guido:使用时间特性鲁棒性的随机模型的系统设计(2015)
  14. Huang,Zhenqi;Mitra,Sayan:从采样模拟轨迹计算有界可达集(2012)
  15. Sankaranarayanan,Sriram;Fainekos,Georgios:使用交叉熵方法对混合系统的时间特性进行证伪(2012)
  16. Annpureddy,Yashwanth;Liu,Che;Fainekos,Georgios;Sankaranarayanan,Sriram:S-Tariro:混合系统的时序逻辑证伪工具(2011)