CityResolver: A Decision Support System for Conflict Resolution in Smart Cities
CityResolver: A Decision Support System for Conflict Resolution in Smart Cities
复制标题
CityResolver：智慧城市冲突解决决策支持系统
DOI：
10.1109/iccps.2018.00014
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Lu Feng
中科院分区：
文献类型：
--
作者：
Meiyi Ma;J. Stankovic;Lu Feng
Resolution of conflicts across services in smart cities is an important yet challenging problem. We present CityResolver – a decision support system for conflict resolution in smart cities. CityResolver uses an Integer Linear Programming based method to generate a small set of resolution options, and a Signal Temporal Logic based verification approach to compute these resolution options' impact on city performance. The trade-offs between resolution options are shown in a dashboard to support decision makers in selecting the best resolution. We demonstrate the effectiveness of CityResolver by comparing the performance with two baselines: a smart city without conflict resolution, and CityGuard which uses a priority rule-based conflict resolution. Experimental results show that CityResolver can reduce the number of requirement violations and improve the city performance significantly.
