Optimizing Traveler Behavior Between MADINA and JEDDA Using UPPAAL Stratego: A Stochastic Priced Timed Games Approach

Moez Krichen () and Ahmed Harbaoui ()
Additional contact information
Moez Krichen: Department of Software Engineering, Faculty of Computer Science and Information, Albaha University, Al Baha 65779-7738, Saudi Arabia
Ahmed Harbaoui: Computer Science Department, Faculty of Computing and Information Technology, King Abdulaziz University, Jeddah 21589, Saudi Arabia

Mathematics, 2024, vol. 12, issue 21, 1-24

Abstract: This study looks at how travelers move between MADINA and JEDDA, using the UPPAAL Stratego tool to tackle the complexities of urban mobility. As cities grow, effective transportation planning becomes more challenging. Travelers have three options: car, bus, and train. The choices for car and bus travel are impacted by traffic conditions, which can vary between heavy and light, affecting both travel time and cost. We propose a detailed mathematical model that captures all possible scenarios related to these travel options, incorporating the uncertainties of real life. This allows us to simulate different traffic situations. By using UPPAAL Stratego, we evaluate three strategies: the Safe Strategy, which minimizes risk; the Fast Strategy, which aims to reduce travel time; and the Fast and Safe Strategy, which seeks a balance between speed and safety. This paper starts with an introduction to the Stochastic Priced Timed Games approach, highlighting its relevance in modeling dynamic travel environments. We then provide an overview of UPPAAL Stratego, showcasing its abilities in generating, optimizing, and comparing strategies. Next, we outline our mathematical model, explaining the assumptions, parameters, and data sources we used. Our simulation results illustrate how each strategy performs under different conditions, shedding light on traveler preferences and behaviors. The findings underscore the significance of accounting for traffic variability in travel planning and offer important insights for urban transportation policies aimed at improving the traveler experience and optimizing resource use. Additionally, we emphasize the theoretical contributions of our model by demonstrating its applicability to real-world scenarios and its potential to inform future research in urban mobility optimization. Ultimately, this research adds to the growing knowledge of smart transportation systems, demonstrating how formal mathematical modeling can address complex real-world challenges and inform future urban mobility strategies.

Keywords: traveler behavior; stochastic priced timed games; UPPAAL Stratego; mathematical modeling; traffic optimization; urban transportation (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2024
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/12/21/3421/pdf (application/pdf)
https://www.mdpi.com/2227-7390/12/21/3421/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:12:y:2024:i:21:p:3421-:d:1511835

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().