日期/日期

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


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

显示第1到第20个结果,共36个。
按年份排序(引用)
  1. Tsachouridis,Vassilios A.;Giantamidis,Georgios;Basagiannis,Stylianos;Kouramas,Kostas:Schulz矩阵反演算法的形式分析:通用矩阵流求解器的计算机辅助验证范式(2020)
  2. Dreossi,Tommaso:Sapo:多项式动力系统的可达性计算和参数综合(2017)
  3. Sankaranarayanan,Sriram:非线性混合系统的基础抽象变化(2016)
  4. Prabhakar,Pavithra;Duggirala,Parasara Sridhar;Mitra,Sayan;Viswanathan,Mahesh:基于混合自动机的矩形混合系统CEGAR(2015)
  5. Liberzon,Daniel:切换和混合线性系统的有限数据速率反馈镇定(2014)
  6. Beneregetti,Massimo;Faella,Marco;Minopoli,Stefano:线性混合系统开关控制器的自动综合:安全控制(2013)
  7. Prabhakar,Pavithra;Duggirala,Parasara Sridhar;Mitra,Sayan;Viswanathan,Mahesh:基于混合自动机的矩形混合系统CEGAR(2013)
  8. Damm,Werner;Dierks,Henning;Disch,Stefan;Hagemann,Willem;Pigorsch,Florian;Scholl,Christoph;Waldmann,Uwe;Wirtz,Boris:具有大离散状态空间的线性混合自动机的精确和完全符号验证(2012)
  9. Althoff,Matthias;Le Guernic,Colas;Krogh,Bruce H.:不确定时变线性系统的可达集计算(2011)
  10. 卜磊;赵建华;李宣东:一类非线性混合自动机的凸规划路径可达性验证(2010)
  11. Campagna,Dario;Piazza,Carla:混合自动机、可达性和系统生物学(2010)
  12. 2009年《Bahttad与Bahttac混合系统的验证》(the verification of the hybrid systems of the Lawrence,Bahtextc;2009年)
  13. Bartocci,E.;Corradini,F.;Di Berardini,M.R.;Entcheva,E.;Smolka,S.A.;Grosu,R.:使用混合I/O自动机对心脏组织进行建模和仿真(2009年)
  14. Campagna,Dario;Piazza,Carla:系统生物学中的混合自动机:我们能走多远?(2009年)
  15. 卡萨格兰德,阿尔伯托;皮亚扎,卡拉;波利克里蒂,阿尔伯托:混合自动机的离散语义。避免系统生物学中的误导性假设(2009)
  16. Plaku,Erion;Kavraki,Lydia E.;Vardi,Moshe Y.:混合系统:通过结合运动规划和离散搜索从验证到证伪(2009)
  17. Bartocci,Ezio;Corradini,Flavio;Di Berardini,Maria Rita;Entcheva,Emilia;Grosu,Radu;Smolka,Scott A.:用于模拟可兴奋组织的混合I/O自动机的空间网络(2008)
  18. Bhatia,Amit;Frazzoli,Emilio:线性系统安全证伪的基于采样的解析完整算法(2008)
  19. Hamadeh,Abdullah;Goncalves,Jorge:连续时间分段仿射系统的可达性分析(2008)
  20. Sankaranarayanan,Sriram;Dang,Thao;Ivančić,Franjo:使用模板多面体对混合系统进行符号模型检查(2008)