Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1016/j.entcs.2014.12.017 | Electronic Notes in Theoretical Computer Science |
Keywords | Field | DocType |
Public transportation,phase-type fitting,model checking | Data source,City centre,Bus network,Model checking,Computer science,Simulation,PRISM model checker,Theoretical computer science,Public transport,Real-time computing,Probability distribution,Automatic vehicle location | Journal |
Volume | Issue | ISSN |
310 | C | 1571-0661 |
Citations | PageRank | References |
3 | 0.51 | 4 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Daniël Reijsbergen | 1 | 65 | 8.17 |
Stephen Gilmore | 2 | 3 | 0.51 |
Jane Hillston | 3 | 1657 | 125.09 |