| Title |
CityResolver: A Decision Support System for Conflict Resolution in Smart Cities |
| ID_Doc |
41457 |
| Authors |
Ma, MY; Stankovic, JA; Feng, L |
| Title |
CityResolver: A Decision Support System for Conflict Resolution in Smart Cities |
| Year |
2018 |
| Published |
|
| DOI |
10.1109/ICCPS.2018.00014 |
| Abstract |
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. |
| Author Keywords |
Conflict Resolution; Safety and Performance Requirements; Signal Temporal Logic; Smart City; Smart Services |
| Index Keywords |
Index Keywords |
| Document Type |
Other |
| Open Access |
Open Access |
| Source |
Conference Proceedings Citation Index - Science (CPCI-S) |
| EID |
WOS:000520032900006 |
| WoS Category |
Computer Science, Information Systems; Computer Science, Software Engineering; Engineering, Electrical & Electronic |
| Research Area |
Computer Science; Engineering |
| PDF |
|