CityResolver: A Decision Support System for Conflict Resolution in Smart Cities

被引：23
|
作者：
Ma, Meiyi [1 ]
Stankovic, John A. [1 ]
Feng, Lu [1 ]
机构：
[1] Univ Virginia, Dept Comp Sci, Charlottesville, VA USA
来源：
2018 9TH ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2018) | 2018年
关键词：
Conflict Resolution; Safety and Performance Requirements; Signal Temporal Logic; Smart City; Smart Services; IN-HOME;
D O I：
10.1109/ICCPS.2018.00014
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：55 / 64
页数：10
相关论文
共 50 条
  • [1] A Model Based Decision Support System for Smart Cities
    Zaman, Mostafa
    [J]. 2023 IEEE INTERNATIONAL CONFERENCE ON SMART COMPUTING, SMARTCOMP, 2023, : 249 - 250
  • [2] A Decision Support System Based on Matrix Representation for Conflict Resolution
    Jiang, Ju
    Fan, Yazhuo
    Xin, Junjie
    Xu, Haiyan
    [J]. 2011 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2011, : 2720 - 2724
  • [3] Design of a graphical input to a decision support system for conflict resolution
    Song, AH
    Hipel, KW
    Kilgour, M
    [J]. 2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 1252 - 1257
  • [4] Decision support system for reservoir water management conflict resolution
    Rajasekaram, V
    Nandalal, KDW
    [J]. JOURNAL OF WATER RESOURCES PLANNING AND MANAGEMENT, 2005, 131 (06) : 410 - 419
  • [5] Development of Environmental Decision Support System for Sustainable Smart Cities in India
    Shruti, Shruti
    Singh, Prabhat K.
    Ohri, Anurag
    Singh, Ravi S.
    [J]. ENVIRONMENTAL PROGRESS & SUSTAINABLE ENERGY, 2022, 41 (05)
  • [6] Development of Decision Support Systems for Smart Cities
    Maitakov, Fedor Georgievich
    Merkulov, Alexander Alekseevich
    Petrenko, Evgeny Vladimirovich
    Yafasov, Abdurashid Yarullaevich
    [J]. ELECTRONIC GOVERNANCE AND OPEN SOCIETY: CHALLENGES IN EURASIA, EGOSE 2018, 2019, 947 : 52 - 63
  • [7] Minitrack Introduction: Decision Support for Smart Cities
    Xu, Wei
    Ma, Jian
    Sun, Jianshan
    [J]. PROCEEDINGS OF THE 52ND ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 2019, : 1229 - 1229
  • [8] Decision-support system for safety and security assessment and management in smart cities
    Gonzalez-Villa, Javier
    Cuesta, Arturo
    Spagnolo, Marco
    Zanotti, Marisa
    Summers, Luke
    Elms, Alexander
    Dhaya, Anay
    Jedlicka, Karel
    Martolos, Jan
    Cetinkaya, Deniz
    [J]. MULTIMEDIA TOOLS AND APPLICATIONS, 2023, 83 (22) : 61971 - 61994
  • [9] Decision-Support System for Safety and Security Assessment and Management in Smart Cities
    Gonzalez-Villa, Javier
    Cuesta, Arturo
    Spagnolo, Marco
    Zanotti, Marisa
    Summers, Luke
    Elms, Alexander
    Dhaya, Anay
    Jedlicka, Karel
    Martolos, Jan
    Cetinkaya, Deniz
    [J]. IMAGE ANALYSIS AND PROCESSING, ICIAP 2022 WORKSHOPS, PT II, 2022, 13374 : 26 - 36
  • [10] The Graph Model for Conflict Resolution and Decision Support
    Hipel, Keith W.
    Fang, Liping
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2021, 51 (01): : 131 - 141
12345