Show/Hide Menu
Hide/Show Apps
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Open Access Guideline
Open Access Guideline
Postgraduate Thesis Guideline
Postgraduate Thesis Guideline
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Guides
Guides
Thesis submission
Thesis submission
MS without thesis term project submission
MS without thesis term project submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Supporting Information
Supporting Information
General Information
General Information
Copyright, Embargo and License
Copyright, Embargo and License
Contact us
Contact us
Synthesis of formal control strategies for traffic systems
Date
2018
Author
Bardakçı, Kemal Çağrı
Metadata
Show full item record
Item Usage Stats
272
views
0
downloads
Cite This
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.
Subject Keywords
Signalized intersections.
,
Traffic signs and signals.
,
Cooperating objects (Computer systems)
URI
http://etd.lib.metu.edu.tr/upload/12621812/index.pdf
https://hdl.handle.net/11511/27044
Collections
Graduate School of Natural and Applied Sciences, Thesis
Suggestions
OpenMETU
Core
Realistic Simulation of IEEE 802.11p Channel in Mobile Vehicle to Vehicle Communication
Islam, Tarikul; Hu, Yongchang; Onur, Ertan; Boltjes, Bert; De Jongh, J. F. C. M. (2013-04-18)
Intelligent Transportation Systems (ITS) is becoming an important paradigm, because of its ability to enhance safety and to mitigate congestion on road traffic scenarios. Realizing the fact that data collection scheme from in-situ test beds for large number of vehicles is always expensive and time consuming, before being employed in large scale, such safety critical system should be tested narrowing down the gap between real circumstances and analytical models in a simulation platform. It is evident that un...
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...
Assessment and simulation of car access control policies in city center: the case of Tunalı Hilmi Street in Ankara
Doğan, Murat; Babalık, Ela; Tüydeş Yaman, Hediye; Department of City and Regional Planning (2014)
Since the Second World War, private car use has been increasing in the world, affecting particularly urban areas and their city centers, which suffer from severe levels of congestion, pollution and traffic safety problems. In order to solve traffic problems in city centers, there needs to be a policy for car access control, which can be achieved through Travel Demand Management and Traffic Management. This study, analyses possible effects of transforming the Tunalı Hilmi Street in Ankara into a pedestrian a...
Citation Formats
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
K. Ç. Bardakçı, “Synthesis of formal control strategies for traffic systems,” M.S. - Master of Science, Middle East Technical University, 2018.