日期/日期

d/dt是一种分析具有线性微分包含的连续系统和混杂系统可达性的工具。混合动力系统验证的d/dt工具。我们描述了d/dt工具,它为具有不确定输入的线性连续动态混杂系统提供了自动安全验证。验证过程基于正交多面体过逼近可达集的方法。该工具还允许合成控制器,在连续模式之间切换系统,以满足安全规范。


zbMATH中的参考文献(参考文献37篇文章)

显示结果1到20,共37个。
按年份排序(引用)
  1. Tsachouridis,瓦西里奥斯A。;吉安塔米迪斯,乔治亚;巴萨吉安尼斯,Stylianos;Kouramas,Kostas:Schulz矩阵反演算法的形式分析:通用矩阵流求解器的计算机辅助验证范例(2020)
  2. Drechsler,Rolf(编辑):正式系统验证。最新技术和未来趋势(2018)
  3. Dreossi,Tommaso:Sapo:多项式动力系统的可达性计算和参数综合(2017)
  4. Sankaranarayanan,Sriram:非线性混合系统的基础抽象变化(2016)
  5. 普拉巴卡尔,帕维斯特拉;Duggirala,Parasara Sridhar;密特拉,萨扬;Viswanathan,Mahesh:基于混合自动机的矩形混合系统CEGAR(2015)
  6. Liberzon,Daniel:切换和混合线性系统的有限数据速率反馈镇定(2014)
  7. 贝内雷凯蒂,马西莫;费拉,马可;Minopoli,Stefano:线性混合系统开关控制器的自动综合:安全控制(2013)
  8. 普拉巴卡尔,帕维斯特拉;Duggirala,Parasara Sridhar;密特拉,萨扬;Viswanathan,Mahesh:基于混合自动机的矩形混合系统CEGAR(2013)
  9. 达姆,沃纳;迪尔克斯,亨宁;迪斯科,斯特凡;哈格曼,威廉;弗洛里安皮戈尔什;斯科尔,克里斯托夫;沃尔德曼,Uwe;Wirtz,Boris:具有大离散状态空间的线性混合自动机的精确和完全符号验证(2012)
  10. 阿尔托夫,马提亚斯;勒格尔尼奇,科拉斯;Krogh,Bruce H.:不确定时变线性系统的可达集计算(2011)
  11. 不,雷;赵建华;李宣东:基于凸规划的一类非线性混合自动机的路径可达性验证(2010)
  12. 坎帕尼亚,达里奥;Piazza,Carla:混合自动机,可达性和系统生物学(2010)
  13. 阿克巴普尔,贝沙德;Paulson,Lawrence C.:\texttmetitarski在控制和混合动力系统验证中的应用(2009)
  14. 巴托奇E。;科拉迪尼,F。;迪贝拉迪尼,M。R、 。;恩切瓦,E。;斯莫尔卡,S。A、 。;Grosu,R.:使用混合I/O自动机建模和模拟心脏组织(2009)
  15. 坎帕尼亚,达里奥;Piazza,Carla:系统生物学中的混合自动机:我们能走多远(2009年)
  16. 阿尔伯托卡萨格兰德;广场,卡拉;Policriti,Alberto:混合自动机的离散语义。避免系统生物学中的误导性假设(2009)
  17. 广场,埃利昂;卡夫拉基,莉迪亚·E。;Vardi,Moshe Y.:混合系统:通过结合运动规划和离散搜索从验证到证伪(2009)
  18. 巴托奇、埃齐奥;弗拉维奥,科拉迪尼;迪贝拉迪尼,玛丽亚丽塔;恩切瓦,埃米利娅;格罗苏,拉杜;Smolka,Scott A.:用于模拟可兴奋组织的混合I/O自动机的空间网络(2008)
  19. 巴蒂亚,阿米特;Frazzoli,Emilio:线性系统安全证伪的基于采样的分辨率完整算法(2008)
  20. 哈马德、阿卜杜拉;Goncalves,Jorge:连续时间分段仿射系统的可达性分析(2008)