论文标题
ASP的高效城市流量优化框架
An ASP Framework for Efficient Urban Traffic Optimization
论文作者
论文摘要
由于我们的城市人口和车辆的迅速增长，避免城市场景中的交通拥堵和控制越来越重要。以经济，环境和健康方式，有效控制城市交通作为减轻拥堵的一种手段可能是有益的。在本文中，提出了一个框架，该框架可以有效地模拟和优化具有数百辆汽车的大道路网络中的交通流量。该框架利用编码的答案集编程（ASP），以形式描述网络中车辆的运动。利用能够在ASP和现成的求解器Clingo中指定优化约束的能力，然后可以优化网络内的车辆路线，以减少一系列相关指标（例如旅行时间或排放）。最后，对现实世界流量数据进行了分析，利用最先进的城市移动模拟器（SUMO）来跟踪网络状态，测试解决方案的正确性并证明提供解决方案的效率和功能。
Avoiding congestion and controlling traffic in urban scenarios is becoming nowadays of paramount importance due to the rapid growth of our cities' population and vehicles. The effective control of urban traffic as a means to mitigate congestion can be beneficial in an economic, environmental and health way. In this paper, a framework which allows to efficiently simulate and optimize traffic flow in a large roads' network with hundreds of vehicles is presented. The framework leverages on an Answer Set Programming (ASP) encoding to formally describe the movements of vehicles inside a network. Taking advantage of the ability to specify optimization constraints in ASP and the off-the-shelf solver Clingo, it is then possible to optimize the routes of vehicles inside the network to reduce a range of relevant metrics (e.g., travel times or emissions). Finally, an analysis on real-world traffic data is performed, utilizing the state-of-the-art Urban Mobility Simulator (SUMO) to keep track of the state of the network, test the correctness of the solution and to prove the efficiency and capabilities of the presented solution.
