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

被引:0
作者
Ramesh, Yenda [1 ]
Anand, Nikhil [1 ]
Rao, M. V. Panduranga [1 ]
机构
[1] Indian Inst Technol, Hyderabad, Telangana, India
来源
2019 11TH INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEMS & NETWORKS (COMSNETS) | 2019年
关键词
Epidemic Control; Complex Networks; Statistical Model Checking; EPIDEMIOLOGY;
D O I
10.1109/comsnets.2019.8711476
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
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 "un-infectious" 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 healthcare 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.
引用
收藏
页码:720 / 725
页数:6
相关论文
共 28 条
  • [1] A Survey of Statistical Model Checking
    Agha, Gul
    Palmskog, Karl
    [J]. ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2018, 28 (01):
  • [2] Computational Epidemiology in a Connected World
    Apolloni, Andrea
    Kumar, V. S. Anil
    Marathe, Madhav V.
    Swarup, Samarth
    [J]. COMPUTER, 2009, 42 (12) : 83 - 86
  • [3] Arora S, 2018, P 7 INT C COMPL NETW
  • [4] Arsekar Radhiya, 2017, Smart Health. International Conference, ICSH 2017. Proceedings: LNCS 10347, P256, DOI 10.1007/978-3-319-67964-8_25
  • [5] Bailey Norman TJ, 1975, The Mathematical Theory of Infectious Diseases and Its Applications
  • [6] Emergence of scaling in random networks
    Barabási, AL
    Albert, R
    [J]. SCIENCE, 1999, 286 (5439) : 509 - 512
  • [7] Barrett C.L., P 2008 ACM IEEE C SU
  • [8] Bio-PEPA for Epidemiological Models
    Ciocchetta, Federica
    Hillston, Jane
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2010, 261 (0C) : 43 - 69
  • [9] Clarke EM, 2011, LECT NOTES COMPUT SC, V6996, P1, DOI 10.1007/978-3-642-24372-1_1
  • [10] Herd Benjamin, 2014, Multi-Agent-Based Simulation XIV. International Workshop, MABS 2013. Revised Selected Papers. LNCS: 8235, P53, DOI 10.1007/978-3-642-54783-6_4