COMING SOON! PQDT Open is getting a new home!

ProQuest Open Access Dissertations & Theses will remain freely available as part of a new and enhanced search experience at

Questions? Please refer to this FAQ.

Dissertation/Thesis Abstract

A model checking approach for analyzing and identifying intervention policies to counter infection propagation over networks
by Suvorov, Yuly, M.S., Iowa State University, 2011, 49; 1505973
Abstract (Summary)

The spread of infections (disease, ideas, fires, etc.) in a network (group of people, electronic network, forest, etc.) can be modeled by the evolution of states of nodes in a graph defined as a function of the states of the other nodes in the graph. Given an initial configuration of the graph with a subset of the nodes infected, a propagation function that specifies how the states of the nodes change over time, and a quarantine function that specifies the generation of regions centered on the infected nodes, from which the infection cannot spread; we identify and verify intervention policies designed to contain the propagation of the infection over the network. The approach can be used to determine an effective policy in such a scenario.

Indexing (document details)
Advisor: Basu, Samik
Commitee: Miner, Andrew S., Zhang, Ting
School: Iowa State University
Department: Computer Science
School Location: United States -- Iowa
Source: MAI 50/04M, Masters Abstracts International
Subjects: Computer science
Keywords: Disease, Infection, Model checking, Policies
Publication Number: 1505973
ISBN: 978-1-267-15612-9
Copyright © 2021 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy