Reachability Analysis of Cost-Reward Timed Automata for Energy Efficiency Scheduling.
Wei WangDong GuoZhigang DengGuosun ZengWei LiuHuanliang XiongPublished in: PMAM (2014)
Keyphrases
- dynamic programming
- reachability analysis
- energy efficiency
- timed automata
- markov decision processes
- power consumption
- state space
- energy consumption
- average cost
- wireless sensor networks
- reinforcement learning
- model checking
- data center
- sensor networks
- energy efficient
- power management
- response time
- optimal policy
- routing protocol
- power saving
- theorem prover
- sensor nodes
- scheduling algorithm
- smart home
- theorem proving
- long run
- energy saving
- energy conservation
- data sets
- real time systems
- wireless sensor
- incremental algorithms
- database systems
- query processing
- cost effective
- first order logic
- low cost