Showing 1–1 of 1 results for author: Madanian, S

Graph-Theoretic Models of Resource Distribution for Cyber-Physical Systems of Disaster-Affected Regions

Authors: Kenneth Johnson, Samaneh Madanian, Roopak Sinha

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… ▽ More 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. △ Less

Submitted 7 September, 2021; originally announced December 2021.

Comments: Conference paper, 9 pages, 2 figures, 1 table

Journal ref: Proceedings of the 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA2020). Portoroz, Slovenia, IEEE Computer Society Press, pp.521-528