裂口

Curror是混合系统验证和参数综合的工具箱。我们描述违约,Matlab / C++工具箱提供了一套连贯的基于仿真的技术,旨在分析确定性模型的混合动力系统。违约的主要特点是便于计算和大集合轨迹的性质调查。它依赖于常微分方程的有效数值求解器,也可以提供关于参数变化的灵敏度的信息。后者用于执行近似可达性分析和参数综合。一个主要的新特征是度量区间时间逻辑(MITL)公式的鲁棒监控。违反的应用领域从嵌入式系统设计到复杂的非线性模型从系统生物学的分析。


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

显示结果1至17的17。
按年份排序(引文

  1. Dreossi,Tommaso;多兹,亚历山大;塞西亚,Sanjit A.:用机器学习组件组成的网络物理系统的伪造(2019)
  2. Jha,Susmit;蒂瓦里,亚希什;塞希亚,Sanjit A.;Sahai,Tuhin;Shankar,Natarajan:电传:用严密性度量(2019)从正例学习信号时态逻辑
  3. Pierre Loic,亨利昂,迪迪尔,沙维尔,半离散多项式系统可达集的半定逼近(2019)
  4. Schneider、Gerardo、阿伦特、沃尔夫冈、Bartocci、Ezio、比安库利、多梅尼科、科伦坡、克里斯蒂安、法尔科内、伊利亚斯、Francalanza、法尔科内、克尔斯蒂、斯拉安、洛伦萨、琼·奥米;埃尔、德扬、佩斯、阿;鲁菲诺、Signoles;亚力山大:从高级应用程序域(软件之外)对运行时验证的挑战的调查(2019)
  5. 贾克依,斯特凡;Bartocci,Ezio;Grosu,拉杜;阮,唐;倪科维,德扬:编辑距离STL的定量监测(2018)
  6. 米兰、丹嫩贝格、弗里茨、Paoletti、尼古拉、KWATKOWSKA、马尔塔、Burm、LuBo:随机生化系统的精确参数合成(2017)
  7. Deshmukh,Jyotirmoy V.;多兹,亚历山大;Ghosh,SurMONA;靳,Xiaoqing;Juniwal,Garvit;SSEHIA,Sanjit A.:信号时间逻辑的在线在线监测(2017)
  8. Deshmukh,Jyotirmoy V.;Maunddar,Rupak;Prabu,Viayak S.:利用SkokHood度量量化一致性(2017)
  9. Dreossi,ToMaso:SAPO:多项式动力系统的可达性计算和参数综合(2017)
  10. 黄,Zhenqi;范,楚;MITRA,Saya:时滞非线性网络动力系统的有界不变性验证(2017)
  11. Kassem,Ali;法尔科内,伊莉亚斯;Lafourcade,Pascal:电子考试的正式分析和离线监控(2017)
  12. Usman,Siddique,UMAIR:结合细化和信号时序逻辑的生物系统(2017)
  13. 纳瓦罗尔·佩兹、Eva M.、卡特、利贝卡:混合动力系统中的死性和如何证明活性(2016)
  14. Bartocci,Ezio;Bortolussi,卢卡;NeNi,劳拉;Sanguinetti,Gudio:利用时间特性稳健性的随机模型的系统设计(2015)
  15. 边缘,卢布,米兰,阿夫拉涅克,戴维:生物系统模型检验(2013)
  16. Annpureddy,亚什万斯;刘,切赫;费纳科斯,Georgios;SalkaNalayayaN. Srala: S. TaliRo:混合系统时间逻辑伪造的工具(2011)
  17. 唐纳德,亚历山大:破译——混合系统验证和参数综合的工具箱(2010)伊波尔特