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 CreatorsORCiD
Rao, M V PandurangaUNSPECIFIED
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://raiith.iith.ac.in/id/eprint/5482
Publisher URL: http://doi.org/10.1109/COMSNETS.2019.8711476
Related URLs:

Actions (login required)

View Item View Item
Statistics for RAIITH ePrint 5482 Statistics for this ePrint Item