A Modelling Framework for Energy Harvesting Aware Wireless Sensor Networks
Michael R., Mikkel Koefoed, Jan Madse · InTech eBooks · 2011
State = R≥0 ×R≥0 For an abstract state (d, a), we call dist(d, a) = d+ a the energy-adjusted distance. The computational state comprises: • A simple distance d ∈ R≥0 to the base station, like the simple distance of an abstract state. • An energy level e ∈ Energy. • An energy-faithful adjustment f ∈ R≥0 capturing energy deficiencies along the route to the base station. • A table nt containing entries for the abstract state of neighbours. This is modelled by the type: Id → AbstractState. 13 Modelling Fram work for En rgy Harvesting Aware Wireless Sensor Networks