Synthesis of formal control strategies for traffic systems

Bardakçı, Kemal Çağrı
The problems caused by traffic congestion affect human life adversely. Wasted amount of time, fuel and money as well as adverse effects to environment are examples of these problems which reduce life quality. Studies on traffic management underline importance of traffic network control mechanisms. Different configurations of roads and signalized intersections complicate interactions among vehicles and pedestrians. Hence, traffic control systems, which need to satisfy complex specifications, should be constructed to serve complex traffic network features. In this dissertation, we study the problem of synthesizing a signal control strategy for a traffic system from Linear Temporal Logic (LTL) specifications. We focus on scalability issue in formal control of large traffic systems and propose to tackle it by decomposing the main problem into smaller problems. The developed decomposition algorithm partitions main traffic system into subsystems and derives a specification for each subsystem from main specification. In addition, we derive additional constraints on the signals lying on boundaries of subsystems to ensure fairv ness. We employ abstraction based techniques to find control strategies for subsystems by considering dynamics of adjacent subsystems. We show that the controllers found for each system guarantee that overall traffic system satisfies given specification. Moreover, we use bounded LTL, and we analyze effects of bounds on resulting set of satisfying initial states. Furthermore, this dissertation incorporates various optimization criteria into control synthesis. In particular, we developed novel methods to synthesize strategies minimizing the total number of switches and minimizing the maximum vehicle denisty in any link.  


Analysis of comprehension of traffic signs: a pilot study in Ankara, Turkey
Kırmızıoğlu, Erkut; Tüydeş Yaman, Hediye; Department of Civil Engineering (2010)
Traffic signs, which are extremely important for traffic safety, aims to regulate traffic by providing information about the characteristics of road and road environment for drivers. The success of traffic signs mainly rely on the easy comprehensibility of its meaning in a short time. Further more, today’s global economies and transportation systems emphasize the need for more universial traffic signs which was the main motivation of two main treaties on traffic signs; Vienna Convetion in 1968 and European ...
Developing multi-objective linear programming approaches for traffic signal optimization
Coşkun, Mustafa Murat; Toroslu, İsmail Hakkı; Şener, Cevat; Department of Computer Engineering (2021-7)
In many countries and metropolitan cities, traffic congestion, mainly caused by population growth and the increase in urbanization, has reached a significant level and has become a major problem for residents and decision-makers. Today, although infrastructural strategies such as the construction of underpasses and road widening to alleviate traffic congestion are applied in urban networks, the strategies can also be quite costly and environmentally damaging. Therefore, decision makers allocate large bu...
An optimizing approach for highway safety improvement programs
Ünal, Serter Ziya; Acar, Soner Osman; Department of Civil Engineering (2004)
Improvements to highway safety have become a high priority for highway authorities due to increasing public awareness and concern of the high social and economic costs of accidents. However, satisfying this priority in an environment of limited budgets is difficult. It is therefore important to ensure that the funding available for highway safety improvements is efficiently utilized. In attempt to maximize the overall highway safety benefits, highway professionals usually invoke an optimization process. The...
Development of an expert system for the quantification of fault rates in traffic accidents
Cangul, Eren; Birgönül, Mustafa Talat; Department of Civil Engineering (2010)
Traffic accidents which damage the safety of human beings are one of the most important problems due to their material losses and effects to human health. Although continuous improvements are made by the governments; losses of traffic accidents are still a significant issue all over the world. The usual studies realized so far are generally related with the accident prevention models. However, there has not been much research done concerning the situation after the traffic accidents happen. After occurrence...
Exploring critical success factors for blockchain-based intelligent transportation systems
Çaldağ, Murat Tahir; Gökalp, Ebru (2020-01-01)
Utilization of Intelligent Transportation Systems (ITS) provides increasing demands on decreasing traffic congestions, transportation safety, and environmental problems as well as increasing transportation capacity. Over the past few years, one of the most disruptive and transformational technologies, blockchain technology, has emerged. As a result of offering more security, privacy, traceability, transparency, and decentralized authority, the utilization of blockchain technology in ITS have increased drast...
Citation Formats
K. Ç. Bardakçı, “Synthesis of formal control strategies for traffic systems,” M.S. - Master of Science, Middle East Technical University, 2018.