Statistical Model Checking for Dynamical Processes on Networks: A Healthcare Application

Ramesh, Yenda and Anand, Nikhil and Rao, M V Panduranga (2019) Statistical Model Checking for Dynamical Processes on Networks: A Healthcare Application. In: 11th International Conference on Communication Systems and Networks, COMSNETS 2019, 7-11 January 2019, Bengaluru,India.

Full text not available from this repository. (Request a copy)

Abstract

In the event of an epidemic outbreak, it is crucial to deploy limited healthcare resources cleverly across a distributed geography. In this paper we consider the limited resource to be a healthcare unit that can move across cities and sample a bounded number of people per day in a city and 'cure' or render 'uninfectious' the infected people in the sample. We study various sojourn and movement strategies of these units. We demonstrate the effectiveness of a tool that assists health-care authorities in performing a what-if analysis and planning a response to an epidemic outbreak. Further, we illustrate that in this setting, statistical model checking can be very useful for answering complex queries at different levels of granularity.

[error in script]

IITH Creators:	IITH Creators ORCiD Rao, M V Panduranga UNSPECIFIED
Item Type:	Conference or Workshop Item (Paper)
Subjects:	Computer science
Divisions:	Department of Computer Science & Engineering
Depositing User:	Team Library
Date Deposited:	17 Jun 2019 09:26
Last Modified:	17 Jun 2019 09:26
URI:	http://raiithold.iith.ac.in/id/eprint/5482
Publisher URL:	http://doi.org/10.1109/COMSNETS.2019.8711476
Related URLs:	Google Scholar

Actions (login required)

View Item

Statistics for this ePrint Item