格斯皮迪 GSPeeDI工具为GSPDIs的可达性分析实现了一个决策过程，GSPDIs是一个平面混合系统，其动力学由微分包含给出，不受先前在所谓SPDIs上的工作中的优度假设的限制GSPeeDI基于广度优先搜索算法，可以处理更一般的系统。 zbMATH中的参考文献（参考 1文章 参考） 显示结果1/1。 是的按年份排序(引用) 10 20 50 全部的 Hansen，Hallstein Asheim；Schneider，Gerardo:GSPeeDI——广义多边形混合系统的验证工具（2009）ioport公司
