Edinburgh Research Explorer

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

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

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


CountryUnited Kingdom
Period13/05/14 → …


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.



13/05/14 → …

Newcastle, United Kingdom

Event: Workshop

ID: 15143213