Dynamic power management model to improve node energy efficiency in Ad Hoc network based on probabilistic model checking
一种提高Ad Hoc网络节点能量效率的DPM模型

In Ad Hoc network,mobile node is battery-operated and power-constrained.It is important to prolong the lifetime of battery and optimize energy efficiency.In this paper,dynamic power management model of mobile node was proposed based on energy-hungry components.A stochastic optimum control scheme was applied in this model to improve node energy efficiency.Discrete Time Markov Chains(DTMCs) of the model was presented by using probabilistic model checking technique.Compared with two familiar time out schemes belonging to predictive schemes by PRISM,the energy efficiency of this scheme is better as a whole.