Synthesizing power management strategies for wireless sensor networks with UPPAAL-STRATEGO
Effective power management has become a key concern in the design of wireless sensor networks. Dynamic power management refers to strategies which selectively switch between several power states of a device during the runtime in order to achieve a tradeoff between power consumption and performance....
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
SAGE Publishing
2017-04-01
|
| Series: | International Journal of Distributed Sensor Networks |
| Online Access: | https://doi.org/10.1177/1550147717700900 |