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
Source Type: DISSERTATION
Subjects: Computer science
Keywords: Disease, Infection, Model checking, Policies
Publication Number: 1505973
ISBN: 9781267156129
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest