X速度

输入线性系统的并行状态空间探索。我们现在正在研究XSpeed,这是一个用于研究具有线性动力学和非确定性输入的连续系统的并行状态空间的工具。XSpeed利用多核架构的计算能力来加速可达性分析。提出了一种在时域划分上具有多个初始集的并行搜索算法,并在XSpeed中实现。文中还提供了一个使用支持函数作为符号状态的可达性算法的并行实现。将XSpeed的性能与支持函数算法的优化实现以及用于线性动态混合系统的可扩展工具SpaceEx(LGG scenario)进行了比较。在具有4个物理核和8个执行线程的Intel core i7-4770上进行的实验表明,在28维直升机模型上,XSpeed的速度比SpaceEx快5倍。与支持函数算法相比,我们的并行探索算法还可以显示精确可达状态的计算。