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.

[img] Text
CS13M1003.pdf - Submitted Version
Restricted to Registered users only until 2 July 2018.

Download (2MB) | Request a copy


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: 10 Jul 2015 04:57
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