State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction.

Manchun Zheng David Sanán Jun Sun Yang Liu Jin Song Dong Yu Gu

Published in: VMCAI (2013)

Keyphrases

sensor networks
state space
partial order reduction
model checking
wireless sensor networks
data collection
petri net
sensor data

environmental monitoring
communication cost
reinforcement learning
energy consumption
resource constrained
data streams
energy efficient
sensor nodes

data aggregation
sensor readings
base station
energy efficiency
data gathering
mobile wireless
particle filter
underwater acoustic

dynamic programming
routing protocol
network connectivity
communication bandwidth
camera network
mobile sensor networks
visual sensor networks