Statistical model checker for Epidemics Progression on Complex Network

Prakash, Ravi (2016) Statistical model checker for Epidemics Progression on Complex Network. Masters thesis, Indian Institute of Technology Hyderabad.

CS14MTECH11013.pdf - Submitted Version

Download (1MB) | Preview


In this thesis uses the susceptible-infected-recovered (SIR) model to show how the epi-demic spread over the complex network, which can be used for the early prediction for epidemic spread, so we can determine the proper cause of the action. The propagation of epidemics on a small-world network with and without immunization has been shown. Immunization helps to control the outbreaks of the epidemics. Our approach is to using the modeling the SIR model with Discrete event simulation which is one way to simulate the complex systems, which allows us to ask the interesting queries regarding how the epidemics spread over the time, at what time will be the peak time for spread and many more. In this work we uses the one of java lib. i.e. Graph Stream for our purpose to generate the small world network and we have also uses MultiVesta tool which is a Statical model checker tool. This work can be use in application of modeling the human disease as well as modeling the computer malware because it has similarity with spreading the human disease as the computer viruses.

[error in script]
IITH Creators:
IITH CreatorsORCiD
Item Type: Thesis (Masters)
Uncontrolled Keywords: susceptible-infected-recovered (SIR), complex network, Immunization, TD568
Subjects: Computer science > Big Data Analytics
Divisions: Department of Computer Science & Engineering
Depositing User: Library Staff
Date Deposited: 30 Jun 2016 09:18
Last Modified: 30 Jul 2019 07:44
Publisher URL:
Related URLs:

Actions (login required)

View Item View Item
Statistics for RAIITH ePrint 2499 Statistics for this ePrint Item