Abstract
Traffic congestion is a growing problem in many countries around the world. It has been recognized that instead of constructing more roads and freeways to counter this problem it is prudent to improve the utilization of existing road network through a judicious combination of advances in control engineering, communication and information technology. The traffic control architecture proposed in this paper is a combination of communicating Urban Traffic Control Architecture (UTCA) and Freeway Traffic Control Architecture (FTCA). The UTCA combines context-awareness, Cyber-Physical Systems (CPS) principles, and Autonomic Computing System (ACS) principles to optimize traffic congestion and enforce safety in urban traffic network. The UTCA includes a network of adaptive intersection traffic controllers and their immediate supervisory systems, who are also networked. The central piece of each traffic controller is an arbiter, which is a mini CPS. It is aware of the traffic dynamics at the intersection managed by it, by virtue of continuous input from monitoring sensors. Due to this context-awareness ability and its communication ability to exchange traffic information with its neighbors, it can execute policy-based reactions in order to enable safe and efficient traffic throughput at its intersection. Each urban traffic supervisory system is designed with ACS principles in order to minimize downtime caused by environmental emergencies and maximize security of the subsystem under it. A supervisory subsystem will also collect global traffic flow information and contextual constraints from its neighbors. Based on this input it will modify policies and communicate them to its traffic controller for timely adaptation. The urban traffic flowing into freeway traffic will be mediated by Intelligent Ramp Meters (IRM). An IRM interacts with the urban traffic control system and its nearest Intelligent Roadside Unit (IRSU) to regulate the flow of traffic from urban to freeway network. The FTCA consists of a network of mutually interacting IRSUs which monitor traffic flow, communicate with IRMs for providing traffic guidance for freeway drivers. An IRSU will communicate with the vehicles in the zone managed by it in order to provide information on rerouting when road and weather conditions warrant it. It also facilitates exchange of information between vehicles, guide them in lane changes and maintaining safe distance in order to avoid collision.
Similar content being viewed by others
References
Pretschner A, Broy M, Kruger IH, Stauner T (2007) Software engineering for automotive systems: a roadmap. FOSE 7: Future of Software Engineering 1:55–61
uINRIX Americans will waste 2.8 trillion dollars on traffic by 2030 if gridlock persists. [Online]. Available: http://www.inrix.com/press/americans-will-waste-2-8-trillion-on-traffic-by-2030-if-gridlock-persists/ http://www.inrix.com/press/americans-will-waste-2-8-trillion-on-traffic-by-2030-if-gridlock-persists/ http://www.inrix.com/press/americans-will-waste-2-8-trillion-on-traffic-by-2030-if-gridlock-persists/
Barth M, Boriboonsomsin K (2008) Real-world carbon dioxide impacts of traffic congestion. Transp Res Rec: J Transp Res Board 2058:163–171
Administration FH (2005) Traffic control systems handbook. US Department of Transportation, Federal Highway Administration, Office of Operations
(2006) Traffic detector handbook: third edition. US Department of Transportation, Federal Highway Administration, Office of Operations
Schilit B, Adams N, Want R (1994) Context-aware computing applications. In: First workshop on mobile computing systems and applications, 1994. WMCSA 1994. IEEE, pp 85–90
Alagar V, Mohammad M, Wan K, Hnaide SA (2014) A framework for developing context-aware systems. ICST Journal Springer 1:14
Avizienis A, Laprie J-C, Randell B, Landwehr C (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Trans Dependable Secure Comput 1(1):11–33
Mohammad M, Alagar V (2011) A formal approach for the specification and verification of trustworthy component-based systems. J Syst Softw 84(1):77–104
Kephart J, Kephart J, Chess D, Boutilier C, Das R, Kephart JO, Walsh WE (2007) An architectural blueprint for autonomic computing. IEEE Internet Comput 18(21)
Kephart J, Chess D (2003) The vision of autonomic computing. Computer 36(1):41–50
NSF (2008) Cyber-physical systems (CPS). http://www.nsf.gov/pubs/2008/nsf08611/nsf08611.htm http://www.nsf.gov/pubs/2008/nsf08611/nsf08611.htm
Wing JM (2008) Cyber-physical systems, http://www.cra.org/CRN/issues/0901.pdf http://www.cra.org/CRN/issues/0901.pdf
SCOOT SCOOT - the world’s leading adaptive traffic control system. http://www.scoot-utc.com/
Papageorgiou M, Diakaki C, Dinopoulou V, Kotsialos A, Wang Y (2003) Review of road traffic control strategies. Proc IEEE 91(12):2043–2067
Papageorgiou M, Hadj-Salem H, Blosseville JM (1991) Alinea: a local feedback control law for on-ramp metering, U.S Department of Transportation, Washington, DC, Transportation Research Record 1320
FLIR (2014) Pedestrian presence sensors. http://www.flir.com/cs/emea/en/view/?id=60028/ http://www.flir.com/cs/emea/en/view/?id=60028/
Lee E, et al. (2008) Cyber physical systems: design challenges. In: 2008 11th IEEE International symposium on object oriented real-time distributed computing (ISORC). IEEE, pp 363– 369
Jackson D (2009) A direct path to dependable software. Commun ACM 52:78–88
Alagar V, Wan K (2014) An Approach to Designing an Autonomic Network of Traffic Managers. ICCVE 2014
Ahn K, Rakha H, Trani A, Van Aerde M (2002) Estimating vehicle fuel consumption and emissions based on instantaneous speed and acceleration levels. J Transp Eng 128(2):182–190
NASA (2010) Architecture and artificial intelligence, howpublished = http://attic.gsfc.nasa.gov/ants/ArchandAI.html
Bomze IM, Budinich M, Pardalos PM, Pelillo M (1999) The maximum clique problem. In: Handbook of combinatorial optimization. Springer, pp 1–74
Bron C, Kerbosch J (1973) Algorithm 457: finding all cliques of an undirected graph. Commun ACM 16 (9):575–577
Gipps PG (1981) A behavioural car-following model for computer simulation. Transp Res B Methodol 15 (2):105– 111
Treiber M, Hennecke A, Helbing D (2000) Congested traffic states in empirical observations and microscopic simulations. Phys Rev E 62(2):1805
Alur R (2011) Formal verification of hybrid systems. In: Proceedings of the International Conference on Embedded Software (EMSOFT), 2011, pp 273–278
Archer J (2000) Fundamental traffic safety issues concerning the use of intelligent transportation systems, Working Paper, Royal Institute of Technology, Tech. Rep. WP-862
McKnight DH, Chervany NL (2001) Trust and distrust definitions: One bite at a time. In: Trust in Cyber Societies. Springer, LNAI 2246, pp 27–54
Johnson D, Grayson K (2005) Cognitive and affective trust in service relationship. J Bus Res 58:500–507
Lee J, See K (2004) Trust in automation: designing for appropriate reliance. Hum Factors 46:50–80
Hoffmann H, Söllner M (2014) Incorporating behavioral trust theory into system development for ubiquitous applications. Pers Ubiquit Comput 18:117–128
Alriyami Q, Adnane A, Smith AK (2014) Evaluation criterias for trust management in vehicular ad-hoc networks (vanets). In: ICCVE Conference, Vienna, pp 1–9
Monir MB, Aziz MHAE, Hamid AAA (2013) A trust-based message reporting scheme for vanet. International Journal of Emerging Technology and Advanced Engineering 5:376–394
Administration FH (2005) Traffic control systems handbook. WHO Regional Office of Europe
NSF (2008) Fundamental traffic safety issues concerning the use of intelligent transportation systems, Technical Report, NSF Program Solicitation, Tech. Rep. NSF-08-611
Avizienis A, Laprie JC, Randell B, Landwehr C (2004) Basic concepts and taxonomy of dependable and secure computing. TIEEE Trans Dependable Secure Comput 1:11–33
Mohammad M, Alagar V (2011) A formal approach for the specification and verification of trustworthy component-based systems. J Syst Softw 4:77–84
Abumansoor O, Boukerche A (2011) Towards a secure model for vehicular ad-hoc network services. In: IEEE Globecom Proceedings, Orlando, Florida, pp 1–5
Gipps PG (1986) A model for the structure of lane-changing decisions. Transp Res B Methodol 20(5):403–414
Mirchandani P, Wang F-Y (2005) Rhodes to intelligent transportation systems. IEEE Intell Syst 20(1):10–15
Toledo T, Koutsopoulos HN, Ben-Akiva ME (2003) Modeling integrated lane-changing behavior. Transp Res Rec: J Transp Res Board 1857(1):30–38
Kesting A, Treiber M, Helbing D (2015) General lane-changing model mobil for car-following models. Transp Res Rec: J Transp Res Board
Hwang J-H, Arkin RC, Kwon D-S (2003) Mobile robots at your fingertip: Bezier curve on-line trajectory generation for supervisory control. In: IEEE/RSJ International Conference on Intelligent Robots and Systems, 2003. (IROS 2003). Proceedings. 2003, vol 2. IEEE, pp 1444–1449
Tarjan R (1972) Depth-first search and linear graph algorithms. SIAM J Comput 1(2):146–160
Robertson DI (1969) Transyt: a traffic network study tool
Nguyen DN (2015) Adaptive traffic control system; design and simulation. Concordia University, Montreal, Canada, Master of Computer Science Thesis
Hidas P (2002) Modelling lane changing and merging in microscopic traffic simulation. Transp Res C: Emerg Technol 10(5):351–371
Robin T, Antonini G, Bierlaire M, Cruz J (2007) Specification, estimation, validation of a pedestrian walking behavior model, TRANSP-OR, Ecole Polytechnique Fédéale de Lausanne and IBM Research GmbH, Zurich Research Lab, Research Report
Alur R (2013) Can we verify cyber-physical systems?: technical perspective. Commun ACM 56(10):96–96. doi:10.1145/2507771.2507782
Alur R, Henzinger TA, Vardi MY (2015) Theory in practice for system design and verification. ACM SIGLOG News 2(1):46–51. doi:10.1145/2728816.2728827
Google Google self-driving car project. http://www.google.com/selfdrivingcar http://www.google.com/selfdrivingcar
BCC News Rival robot cars meet on california highway. http://www.bbc.com/news/technology-33286811
Acknowledgments
This research was supported by Research Grants from National Natural Science Foundation of China (Project Number 61103029),Research Development Funding of Xi’an Jiaotong-Liverpool University (Project Number RDF-13-02-06), and Natural Sciences and Engineering Research Council, Canada.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Wan, K., Nguyen, N. & Alagar, V. Dependable Traffic Control Strategies for Urban and Freeway Networks. Mobile Netw Appl 21, 98–126 (2016). https://doi.org/10.1007/s11036-016-0681-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11036-016-0681-0