Patch-based modelling of city-centre bus movement with phase-type distributions

Daniel Reijsbergen, Stephen Gilmore, Jane Hillston

Research output: Chapter in Book/Report/Conference proceedingConference contribution


We propose a methodology for constructing a stochastic performance model of a public transportation network using real-world data. Our main data source consists of Automatic Vehicle Location (AVL) measurements of buses in the Edinburgh region. Although the data has a relatively low frequency, we can use it to parameterise a model in which a bus moves between predefined patches in the city. We fit the probability distributions of the sojourn times in the patches to phase-type distributions using the tool HyperStar. We then translate the output from HyperStar to a model of a complete part of a bus route expressed in the reactive modules language of the PRISM model checker. Finally, we demonstrate how we can use the numerical techniques implemented in PRISM to answer meaningful questions about the performance of the bus network in the context of a case study involving the addition of trams to a busy section of Edinburgh’s city centre.
Original languageEnglish
Title of host publicationSeventh International Workshop on Practical Applications of Stochastic Modelling
Number of pages21
Publication statusPublished - 5 Jan 2015
EventPASM'14 - Newcastle, United Kingdom
Duration: 13 May 2014 → …

Publication series

NameElectronic Notes in Theoretical Computer Science


Country/TerritoryUnited Kingdom
Period13/05/14 → …


Dive into the research topics of 'Patch-based modelling of city-centre bus movement with phase-type distributions'. Together they form a unique fingerprint.

Cite this