| 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 | |
| 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. |
Similar Articles
| ID | Score | Article |
|---|---|---|
43427
|
Ma, M; Preum, SM; Tärneberg, W; Ahmed, M; Ruiters, M; Stankovic, J Detection of Runtime Conflicts among Services in Smart Cities(2016) | |
| 39050
|
Yuan, YK; Ma, MY; Han, S; Zhang, DS; Miao, F; Stankovic, J; Lin, S DeResolver: A Decentralized Negotiation and Conflict Resolution Framework for Smart City Services(2021) | |
| 39174
|
Yuan, YK; Ma, MY; Han, SY; Zhang, DS; Miao, F; Stankovic, JA; Lin, S DeResolver: A Decentralized Conflict Resolution Framework with Autonomous Negotiation for Smart City Services(2022)Acm Transactions On Cyber-Physical Systems, 6, 4 |