Epidemic Analysis Using Traditional Model Checking and Stochastic Simulation

Chauhan, K (2015) Epidemic Analysis Using Traditional Model Checking and Stochastic Simulation. Masters thesis, Indian Institute of Technology Hyderabad.

CS13M1003.pdf - Submitted Version

Download (2MB) | Preview


Stochastic model checking has been the mainstay for formal analysis of epidemic progression in recent years. However, such methods are sensitive to inaccuracies in estimating stochastic parameters like infection transmission and recovery rates. In this work, we revert to traditional model checking (specifically, for timed automata) to absorb inaccurately provided parameters into the non-determinism inherent in such traditional formalisms. Parameters obtained through stochastic simulation are used by the timed automata, with suficiently wide windows of non-determinism to account for error. A positive side effect of this approach is that separating the probabilistic component from actual epidemic timed automata model, helps us to focus on the progression logic while building the model.

[error in script]
IITH Creators:
IITH CreatorsORCiD
Item Type: Thesis (Masters)
Uncontrolled Keywords: Timed Automata, TCTL, TD286
Subjects: Computer science > Big Data Analytics
Divisions: Department of Computer Science & Engineering
Depositing User: Library Staff
Date Deposited: 03 Jul 2015 05:27
Last Modified: 13 May 2019 09:42
URI: http://raiith.iith.ac.in/id/eprint/1632
Publisher URL:
Related URLs:

Actions (login required)

View Item View Item
Statistics for RAIITH ePrint 1632 Statistics for this ePrint Item