Synthesizing power management strategies for wireless sensor networks with UPPAAL-STRATEGO.
Shengxin DaiMei HongBing GuoPublished in: Int. J. Distributed Sens. Networks (2017)
Keyphrases
- power management
- wireless sensor networks
- energy consumption
- energy efficiency
- energy saving
- power consumption
- energy efficient
- sensor networks
- data center
- data aggregation
- sensor nodes
- routing algorithm
- routing protocol
- battery life
- multi hop
- base station
- model checking
- data collection
- wireless communication
- network traffic
- digital libraries
- data sets