Trafik Aglarını Bölüntüleyerek Formel Kontrol Stratejilerinin Üretilmesi

Date

2017-06-29

Author

Bardakci, Kemal Cagri
Aydın Göl, Ebru

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

165
views

0
downloads

The aim of this paper is to produce control strategies for a large vehicular traffic network model of signalized intersections from Linear Temporal Logic specifications. For this purpose, abstraction and formal control techniques which ensure the correctness of synthesized control strategies are utilized. In addition, in order to solve the scalability problem encountered in formal control of dynamic systems, novel network partitioning methods are developed. The proposed methods guarantee that if each sub-network satisfy its specifications, then the overall traffic system also satisfies overall specifications. The developed methods allow us to produce control strategies for large traffic networks by solving generated sub-problems in parallel.

Subject Keywords

Reactive power , Urban areas, Vehicle dynamics, Control systems, Control systems

URI

https://hdl.handle.net/11511/36990

DOI

https://doi.org/10.1109/siu.2017.7960601

Conference Name

Signal Processing and Communications Applications Conference (SIU)

Collections

Department of Computer Engineering, Conference / Seminar

Suggestions

OpenMETU
Core

Design of an Optimal Sliding Mode Controller for an Active Suspension Considering Non-linear Quarter Car Model Sadeghi-Khaneghah, Farshid; Bayar, Kerem; Department of Mechanical Engineering (2020-7-26) A non-linear quarter car model is used in this study for developing a control algorithmfor an active suspension system. The control method used, is optimal sliding modecontrol, along with feedback linearization technique for compensating the non-linearaspects of the plant. In addition to the work in recent literature that applies thesecontrol methods, estimation of the static suspension deflection, i.e., vehicle sprungmass is performed. Through simulation results, it is shown that correct information ofv...
Vehicle routing problem in cross dockswith shift-based time constraints on products Koçak, Menekşe; Serpil, Canan; Department of Industrial Engineering (2011) In this study, the capacitated vehicle routing problem with shift based time constraints is taken into consideration. The study stemmed from an application in a cross dock. The considered cross dock is assumed to feed directly the production lines of its customer. The customer has a just-in-time production system that requires producing only in necessary quantities at the necessary times. This necessitates the arrival of the parts/products collected from different suppliers at the customer at the beginning ...
Evaluation of approach leg capacities at a signalized urban roundabout Saltık, Ege Cem; Tüydeş Yaman, Hediye; Department of Civil Engineering (2018) Intersections are vital components of road networks, which provide ability to change directions serving many conflicting movements. When the traffic volumes are high, intersection control is necessary via either signalization or by design such as roundabouts. However, the even latter is mostly signalized in Turkey due to improper design aspects and driver behavior issues. When signalized, approach capacity at an intersection/roundabout is governed by the saturation flow rate, , as well as the allocated effe...
Beforehand obtaining a safety operation condition by using daily load curves in transient stability and graphical software for transient stability applications Öztop, Celal; Ertaş, Arif; Department of Electrical and Electronics Engineering (2005) In this thesis, relationship between two most important transient stability indices, critical clearing time and generator rotor angle is examined for one machine-infinite bus system and then extended to the multimachine case and is observed to be linear. By using the linear relationship between critical clearing time and generator rotor angle and utilizing the daily load curve, a new preventive method is proposed. The aim of this method is to make all critical clearing times longer than the relay and circui...
Design and simulation of an integrated active yaw control system for road vehicles Tekin, Goekhan; Ünlüsoy, Yavuz Samim (2010-01-01) In this paper, design methodology and simulation results of an active yaw control system For road vehicles arc presented. The main objectives of the yaw control system arc to estimate the desired yaw behaviour of file vehicle according to the demand of file driver by means of a two degree-of-freedom vehicle model and track this desired yaw rate while considering vehicle steerability parameters. Based on vehicle yaw rate error and vehicle sideslip angle, the controller system applies brake torques to individ...

Citation Formats

K. C. Bardakci and E. Aydın Göl, “Trafik Aglarını Bölüntüleyerek Formel Kontrol Stratejilerinin Üretilmesi,” presented at the Signal Processing and Communications Applications Conference (SIU), Antalya, Turkey, 2017, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/36990.