State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction.
Manchun ZhengDavid SanánJun SunYang LiuJin Song DongYu GuPublished 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