Projects per year
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.
|Title of host publication||Seventh International Workshop on Practical Applications of Stochastic Modelling|
|Number of pages||21|
|Publication status||Published - 5 Jan 2015|
|Event||PASM'14 - Newcastle, United Kingdom|
Duration: 13 May 2014 → …
|Name||Electronic Notes in Theoretical Computer Science|
|Period||13/05/14 → …|
FingerprintDive into the research topics of 'Patch-based modelling of city-centre bus movement with phase-type distributions'. Together they form a unique fingerprint.
- 1 Finished
QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (RTD)
1/04/13 → 31/03/17