A Multi-Objective Model Checking for Transmission Policy Optimization in Hybrid Powered Small Cell Networks

A Multi-Objective Model Checking for Transmission Policy Optimization in Hybrid Powered Small Cell Networks

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 networ...

Full description

Bibliographic Details
Main Authors: Chih-Min Yu, Mohammad Tala't, Li-Hsiang Shen, Kai-Ten Feng
Format: Article
Language:English
Published: IEEE 2020-01-01
Series:IEEE Access
Subjects:
Model checking (MC)
Linear temporal logic (LTL)
Green design
Three dimension Markov decision process (3D-MDP)
Stochastic processes
Age of information (AoI)
Online Access:https://ieeexplore.ieee.org/document/9063520/

Internet

https://ieeexplore.ieee.org/document/9063520/

Similar Items