Verifying intervention policies to counter infection propagation over networks

A model checking approach

Ganesh Ram Santhanam, Yuly Suvorov, Samik Basu, Vasant Honavar

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Abstract

Spread of infections (diseases, ideas, etc.) in a network can be modeled as the evolution of states of nodes in a graph as a function of the states of their neighbors. Given an initial configuration of a network in which a subset of the nodes have been infected, and an infection propagation function that specifies how the states of the nodes evolve over time, we show how to use model checking to identify, verify, and evaluate the effectiveness of intervention policies for containing the propagation of infection over such networks.

Original languageEnglish (US)
Title of host publicationAAAI-11 / IAAI-11 - Proceedings of the 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference
Pages1408-1414
Number of pages7
Volume2
StatePublished - Nov 2 2011
Event25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11 - San Francisco, CA, United States
Duration: Aug 7 2011Aug 11 2011

Other

Other25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11
CountryUnited States
CitySan Francisco, CA
Period8/7/118/11/11

Fingerprint

Model checking

All Science Journal Classification (ASJC) codes

  • Software
  • Artificial Intelligence

Cite this

Santhanam, G. R., Suvorov, Y., Basu, S., & Honavar, V. (2011). Verifying intervention policies to counter infection propagation over networks: A model checking approach. In AAAI-11 / IAAI-11 - Proceedings of the 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference (Vol. 2, pp. 1408-1414)
Santhanam, Ganesh Ram ; Suvorov, Yuly ; Basu, Samik ; Honavar, Vasant. / Verifying intervention policies to counter infection propagation over networks : A model checking approach. AAAI-11 / IAAI-11 - Proceedings of the 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference. Vol. 2 2011. pp. 1408-1414
@inproceedings{8a6d9876c95a4d4cb7ed1697c7c4e820,
title = "Verifying intervention policies to counter infection propagation over networks: A model checking approach",
abstract = "Spread of infections (diseases, ideas, etc.) in a network can be modeled as the evolution of states of nodes in a graph as a function of the states of their neighbors. Given an initial configuration of a network in which a subset of the nodes have been infected, and an infection propagation function that specifies how the states of the nodes evolve over time, we show how to use model checking to identify, verify, and evaluate the effectiveness of intervention policies for containing the propagation of infection over such networks.",
author = "Santhanam, {Ganesh Ram} and Yuly Suvorov and Samik Basu and Vasant Honavar",
year = "2011",
month = "11",
day = "2",
language = "English (US)",
isbn = "9781577355090",
volume = "2",
pages = "1408--1414",
booktitle = "AAAI-11 / IAAI-11 - Proceedings of the 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference",

}

Santhanam, GR, Suvorov, Y, Basu, S & Honavar, V 2011, Verifying intervention policies to counter infection propagation over networks: A model checking approach. in AAAI-11 / IAAI-11 - Proceedings of the 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference. vol. 2, pp. 1408-1414, 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11, San Francisco, CA, United States, 8/7/11.

Verifying intervention policies to counter infection propagation over networks : A model checking approach. / Santhanam, Ganesh Ram; Suvorov, Yuly; Basu, Samik; Honavar, Vasant.

AAAI-11 / IAAI-11 - Proceedings of the 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference. Vol. 2 2011. p. 1408-1414.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Verifying intervention policies to counter infection propagation over networks

T2 - A model checking approach

AU - Santhanam, Ganesh Ram

AU - Suvorov, Yuly

AU - Basu, Samik

AU - Honavar, Vasant

PY - 2011/11/2

Y1 - 2011/11/2

N2 - Spread of infections (diseases, ideas, etc.) in a network can be modeled as the evolution of states of nodes in a graph as a function of the states of their neighbors. Given an initial configuration of a network in which a subset of the nodes have been infected, and an infection propagation function that specifies how the states of the nodes evolve over time, we show how to use model checking to identify, verify, and evaluate the effectiveness of intervention policies for containing the propagation of infection over such networks.

AB - Spread of infections (diseases, ideas, etc.) in a network can be modeled as the evolution of states of nodes in a graph as a function of the states of their neighbors. Given an initial configuration of a network in which a subset of the nodes have been infected, and an infection propagation function that specifies how the states of the nodes evolve over time, we show how to use model checking to identify, verify, and evaluate the effectiveness of intervention policies for containing the propagation of infection over such networks.

UR - http://www.scopus.com/inward/record.url?scp=80055032496&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=80055032496&partnerID=8YFLogxK

M3 - Conference contribution

SN - 9781577355090

VL - 2

SP - 1408

EP - 1414

BT - AAAI-11 / IAAI-11 - Proceedings of the 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference

ER -

Santhanam GR, Suvorov Y, Basu S, Honavar V. Verifying intervention policies to counter infection propagation over networks: A model checking approach. In AAAI-11 / IAAI-11 - Proceedings of the 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference. Vol. 2. 2011. p. 1408-1414