Vi föreslår en metod för att konstruera en stokastisk prestandamodell av ett kollektivtrafiknät med hjälp av verkliga data. Vår huvudsakliga datakälla består av automatiska fordon (AVL) mätningar av bussar i Edinburgh-regionen. Även om data har en relativt låg frekvens, kan vi använda den för att parameterisera en modell där en buss rör sig mellan fördefinierade fläckar i staden. Vi passar sannolikhetsfördelningen av vistelsetiderna i patchar till fas-typ fördelningar med hjälp av verktyget HyperStar. Vi översätter sedan utdata från HyperStar till en modell av en komplett del av en bussväg uttryckt i de reaktiva modulerna språket i PRISM-modellen checker. Slutligen visar vi hur vi kan använda de numeriska tekniker som tillämpas i PRISM för att svara på meningsfulla frågor om bussnätets prestanda i samband med en fallstudie med tillägg av spårvagnar till en upptagen del av Edinburghs stadskärna.
I REF användes AVL-datasetet i detta dokument för att få tillgång till busstidsfördelningar av markområden i Edinburghs stadskärna, som sedan användes för att genomföra "vad-i-om"-analys som omfattade införandet av spårvagnar.
Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions
{'venue': 'Electron. Notes Theor. Comput. Sci.', 'journal': 'Electron. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}