A multi-objective model checking for transmission policy optimization in hybrid powered small cell networks

Chih Min Yu, Mohammad Tala'T*, Li Hsiang Shen, Kai Ten Feng

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

2 Scopus citations


In the fifth generation (5G) communication system, maximizing energy utilization is one of the key challenges especially with limited green energy sources. In particular, it is important to determine the optimal transmission policy for the hybrid model with grid and green energy in small cell networks. The optimal transmission policy should minimize both grid power consumption and wastage of green harvested energy at the same time; while satisfying the quality of service (QoS) requirements such as minimum packet drop probability. In contrast to existing policies with a single objective for the hybrid powered small cell networks, the proposed transmission policy adopts a multi-objective model checking for Markov decision process (MOMC-MDP) with a linear temporal logic (LTL) scheme. The MOMC-MDP firstly determines all feasible decisions for packet transmissions in every time slot, and then chooses one of the best feasible decisions to obtain the optimal transmission policy. Three dimension Markov decision process (3D-MDP) that includes packet buffer, battery capacity, and channel state, are used with the age of information (AoI) of the packet arrivals to improve the overall performance of the proposed MOMC-MDP scheme. Numerical results validate that the proposed MOMC-MDP with AoI can provide higher green energy utilization compared to the conventional MDP-based schemes.

Original languageEnglish
Article number9063520
Pages (from-to)71339-71352
Number of pages14
JournalIEEE Access
StatePublished - 1 Jan 2020


  • Age of information (AoI)
  • Green design
  • Linear temporal logic (LTL)
  • Model checking (MC)
  • Stochastic processes
  • Three dimension Markov decision process (3D-MDP)

Fingerprint Dive into the research topics of 'A multi-objective model checking for transmission policy optimization in hybrid powered small cell networks'. Together they form a unique fingerprint.

Cite this