论文标题
使用统计模型检查进行运输系统分析的空间算法
A spatial algorithm for the analysis of transportation systems using statistical model checking
论文作者
论文摘要
我们提出了一种自动化方法，用于使用公共交通工具的自动车辆位置测量来构建概率模型。该模型不仅允许对服务性能进行准确的评估，而且还可以先验研究系统修改的效果。该方法几乎完全不可知，否则该服务的重要细节，尤其是其路线和停车位的位置。取而代之的是，它使用自动地图生成技术从数据中删除了这一点。使用计算机仿真与统计模型检查分析模型中车辆的行为。我们提出了两个案例研究，涉及爱丁堡的航空公司服务和西雅图的贝尔维尤（Bellevue Express）。为了证明该方法的有用性，我们分析了公交持有和速度修改对航空链路绩效的计划策略的影响。用于创建数字的数据和代码在线公开可用。
We present an automated methodology for using Automatic Vehicle Location measurements of public transportation vehicles to construct a probabilistic model. The model not only allows for accurate evaluation of service performance, but also makes it possible to study the effects of system modifications a priori. The methodology is almost entirely agnostic to otherwise important details of the service -- in particular its route and the location of stops. Instead, it infers this from the data using automated map generation techniques. The behaviour of vehicles in the model is analysed using computer simulation combined with statistical model checking. We present two case studies involving the Airlink service in Edinburgh and the Bellevue Express in Seattle. To demonstrate the usefulness of the approach, we analyse the impact of the scheduling strategies of bus holding and speed modification on the Airlink's performance. The data and code used to create the figures are publicly available online.
