Top

Published in:

2017 | OriginalPaper | Chapter

Formal Analysis of an Urban Road Traffic Model

Authors : Camelia Avram, Eduardo Valente, Adina Aştilean, José Machado, Dan Radu

Published in: CONTROLO 2016

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

The paper proposes a method based on timed automata to validate different road traffic control scenarios. In order to estimate the current traffic state, a strategy in which a special attention was given to information collected from the streets converging to main crossroads was elaborated. Then, the up to dated information was used by a complex road traffic model to improve the traffic flow. The validation and verification of the road traffic model was realized using UPPAAL model-checker. A representative area of Cluj Napoca city center was modeled and simulated in order to determine the right parameters for traffic control. The proposed model, validated in UPPAAL, can be extended to any road structure for analysis purposes.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

previous chapter A Simulation Platform Prototype for Evaluating Alternative Scenarios of Members Integration in Virtual Organizations

next chapter Brain Emotional Learning Based Control of a SDOF Structural System with a MR Damper

Behrmann, G., David, A., Guldstrand Larsen, K.: A Tutorial on Uppaal. SFM 2004:200–236 (2004)

Olstam, J., Tapini, A.: Comparison of Car-Following Models. VTI Publication M960A.2004, Swedish National Road and Transport Research Institute, Linköping, Sweden (2004)

Panwai, S., Dia, H.: Comparative evaluation of microscopic car-following behavior. IEEE Trans. Intell. Transp. Syst. 6(3) (2005)

Sbayti, H., Roden, D.: Best Practices in the Use of Micro Simulation Models American Association of State Highway and Transportation Officials (AASHTO), Prepared as part of NCHRP Project-36, Task 90. National Cooperative Highway Research Program, Transportation Research Board, March (2010)

Ishaque, M.M., Noland, R.B.: Behavioural issues in pedestrian speed choice and street crossing behaviour: a review. Transp. Rev. 28(1), 61–85 (2008)CrossRef

Waizman, G., Shoval, S., Benenson I.: Micro-simulation model for assessing the risk of car-pedestrian road accidents. J. Intell. Transp. Syst.: Technol. Plann. Oper. (2013)

Astarita, V., Guido, G., Vitale, A., Giofré, V.: A new microsimulation model for the evaluation of traffic safety performances. Eur. Transp. Trasporti Europei (Issue 51), Paper No 1. ISSN: 1825-3997 (2012)

Zhang, H.C., Liang, X., Xu, K.: VISSIM network simulation under actuated signal control. J. Comput. Inf. Syst. 10(4), 1573–1580 (2014)MathSciNet

Dowling, R., Skabardonis, A., Halkias, J., McHale, G., Zammit, G.: Guidelines for calibration of microsimulation models: framework and application. In: Proceedings of the 83rd Annual Meeting of the Transportation Research Board, Washington, D.C. (2004)

10.

Thiemann, C., Treiber, M., Kesting, A.: Estimating acceleration and lane-changing dynamics based on NGSIM trajectory data. Transp. Res. Rec.: J. Transp. Res. Board 2088, 90–101 (2008)CrossRef

11.

Huang, S., Sadek, A.W.: Artificial intelligence and microscopic traffic simulation- models applications to parameter calibration and origin–destination estimation. Artificial intelligence applications to critical transportation issues. Transp. Res. Circ. E-C168 (2012). ISSN: 097-8515

12.

Cunha, A.L., Bessa, J.E., Setti, J.R.: Genetic algorithm for the calibration of vehicle performance models of microscopic traffic simulators. Prog. Artif. Intell. 5816, 3–14 (2009)CrossRef

13.

Huang, S., Sadek, A.W., Casas, I., Guo, L.: Calibrating travel demand in large-scale micro-simulation models with genetic algorithms: A TRANSIMS model case study. Presented at 89th Annual Meeting of the Transportation Research Board, Washington, D.C. (2010)

14.

Huang, S., Sadek, A.W., Casas, I., Guo, L.: Calibrating travel demand in large-scale micro-simulation models with genetic algorithms: aTRANSIMS model case study. Presented at 89th Annual Meeting of the Transportation Research Board, Washington, D.C. (2010)

15.

Kattan, L., Abdulhai, B.: Noniterative approach to dynamic traffic origin–destination estimation using parallel evolutionary algorithms. Transp. Res. Rec.: J. Transp. Res. Board 1964, 201–210. Transportation Research Board of the National Academies, Washington, D.C. (2006)

16.

Avram, C., Machado, J., Astilean, A.: Modeling and formal analysis of urban road traffic. In: 11th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM) in 11th International Conference on Numerical Analysis and Applied Mathematics 2013, pts 1 and 2 (ICNAAM 2013), vol. 1558 (2013)

Title: Formal Analysis of an Urban Road Traffic Model
Authors: Camelia Avram
Eduardo Valente
Adina Aştilean
José Machado
Dan Radu
Publisher: Springer International Publishing
Book: CONTROLO 2016
Print ISBN: 978-3-319-43670-8

Electronic ISBN: 978-3-319-43671-5

Copyright Year: 2017
DOI: https://doi.org/10.1007/978-3-319-43671-5_45