Abstract
Smart cities are revolutionizing the transportation infrastructure by the integration of technology. However, ensuring that various transportation system components are operating as expected and in a safe manner is a great challenge. One of the proposed solutions is traffic monitoring systems which collect and analyze traffic data for the safe operation and management of the overall system. Even though traffic safety analysis has been tied to crash data, surrogate safety measures (SSM) have recently emerged as a replacement. SSM can provide a convenient alternative for understanding the impact of conflicts on overall road safety. Traditionally, conflicts were studied through manual methods that are time-consuming and prone to biases. With the onset of new technologies such as automated video techniques, micro-simulation and Vehicular ad-hoc Networks researchers are adopting statistical and machine learning methods for developing reliable indicators for possible traffic crashes. However, these technologies don't provide high-level reasoning about the overall state of the traffic. In this work, we propose the use of formal methods as a means to specify and reason about the traffic network's complex properties. Formal methods provide a flexible tool to define the safe operation of the traffic network by capturing non-conforming behavior, exploring various possible states of the traffic system and detecting any inconsistencies within it. Hence, we develop specification-based monitoring for the analysis of traffic networks using the formal language, Signal Temporal Logic. We develop monitors that identify safety-related behavior such as conforming to speed limits, maintaining appropriate headway, and performing safe lane-change maneuvers. The framework is tested using a calibrated micro-simulated highway scenario and offline monitoring is applied to individual vehicle trajectories to check whether they violate or satisfy the defined safety specifications. Statistical analysis of the outputs show that our approach can differentiate violating from conforming vehicle trajectories based on the defined specifications. This work can be utilized by traffic management centers to study the traffic stream properties, identify possible hazards, and provide valuable feedback for automating the traffic monitoring systems.
Notes
If this is your thesis or dissertation, and want to learn how to access it or for more information about readership statistics, contact us at STARS@ucf.edu
Graduation Date
2021
Semester
Spring
Advisor
Zaki Hussein, Mohamed
Degree
Master of Science (M.S.)
College
College of Engineering and Computer Science
Department
Civil, Environmental, and Construction Engineering
Degree Program
Civil Engineering; Smart Cities
Format
application/pdf
Identifier
CFE0008508; DP0024184
URL
https://purls.library.ucf.edu/go/DP0024184
Language
English
Release Date
May 2021
Length of Campus-only Access
None
Access Status
Masters Thesis (Open Access)
STARS Citation
Nour, Mariam Wessam Hassan Mohamed, "Monitoring of Microscopic Traffic Behavior for Safety Applications Using Temporal Logic" (2021). Electronic Theses and Dissertations, 2020-2023. 537.
https://stars.library.ucf.edu/etd2020/537