Graph-Theoretic Models of Resource Distribution for Cyber-Physical Systems of Disaster-Affected Regions
- Resource Type
- Conference
- Authors
- Johnson, Kenneth; Madanian, Samaneh; Sinha, Roopak
- Source
- 2020 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) Software Engineering and Advanced Applications (SEAA), 2020 46th Euromicro Conference on. :521-528 Aug, 2020
- Subject
- Computing and Processing
Radar
Resource management
Task analysis
Cyber-physical systems
Mathematical model
Disaster management
Computational modeling
Cyber-Physical Systems
Satisfiability-Modulo Theories
Graph Theory
Algebraic Specification
Disaster Management
Resource Distribution
- Language
We propose a tool-supported framework to reason about requirements constraining resource distributions and devise strategies for routing essential services in a disaster-affected region. At the core of our approach is the Route Advisor for Disaster-Affected Regions (RADAR) framework that operates on high-level algebraic representations of the region, modelled as a cyber-physical system (cps) where resource distribution is carried out over an infrastructure connecting physical geographical locations. The Satisfiable-Modulo Theories (SMT) and graph-theoretic algorithms used by the framework supports disaster management decision-making during response and preparedness phases. We demonstrate our approach on a case study in disaster management and describe scenarios to illustrate the usefulness of RADAR.