arXiv · 2112.12046
Graph-Theoretic Models of Resource Distribution for Cyber-Physical Systems of Disaster-Affected Regions
Abstract
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.
Explore related subjects
Keep this discovery
Kenneth Johnson, Samaneh Madanian, Roopak Sinha. 2021-09-08. Graph-Theoretic Models of Resource Distribution for Cyber-Physical Systems of Disaster-Affected Regions. https://doi.org/10.1109/seaa51224.2020.00087
Cite the original work for its findings. Save a collection to share your selection of sources.