格斯皮迪

GSPeeDI工具为GSPDIs的可达性分析实现了一个决策过程,GSPDIs是一个平面混合系统,其动力学由微分包含给出,不受先前在所谓SPDIs上的工作中的优度假设的限制GSPeeDI基于广度优先搜索算法,可以处理更一般的系统。

zbMATH中的参考文献(参考 1文章 参考)

显示结果1/1。
按年份排序(引用)

  1. Hansen,Hallstein Asheim;Schneider,Gerardo:GSPeeDI——广义多边形混合系统的验证工具(2009)ioport公司