Traffic management and control in urban environments has been a problem of interest in the recent years due to the costs incurred by congestion delays, green house gas emission, fuel consumption, etc. This would require researchers to design better algorithms capable of maximizing network throughput and performance with the current existing infrastructure. The focus of this work is on designing control strategies that enhance traffic conditions in freeways. An effective control strategy for traffic regulation in freeways is shown to be ramp metering [3]. In order to encode required complex properties for efficient traffic management, control synthesis through temporal logic specifications are proved to be powerful and successful in traffic networks [1,2].
['Negar Mehr', 'Dorsa Sadigh', 'Roberto Horowitz']
Probabilistic controller synthesis for freeway traffic networks