{"id":"https://openalex.org/W3015677298","doi":"https://doi.org/10.1109/access.2020.2987012","title":"A Multi-Objective Model Checking for Transmission Policy Optimization in Hybrid Powered Small Cell Networks","display_name":"A Multi-Objective Model Checking for Transmission Policy Optimization in Hybrid Powered Small Cell Networks","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3015677298","doi":"https://doi.org/10.1109/access.2020.2987012","mag":"3015677298"},"language":"en","primary_location":{"id":"doi:10.1109/access.2020.2987012","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.2987012","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/09063520.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/09063520.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059353032","display_name":"Chih\u2010Min Yu","orcid":"https://orcid.org/0000-0002-1152-6919"},"institutions":[{"id":"https://openalex.org/I4210108113","display_name":"Yango University","ror":"https://ror.org/01eqh1863","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210108113"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chih-Min Yu","raw_affiliation_strings":["College of Artificial Intelligence, Yango University, Fuzhou, China"],"raw_orcid":"https://orcid.org/0000-0002-1152-6919","affiliations":[{"raw_affiliation_string":"College of Artificial Intelligence, Yango University, Fuzhou, China","institution_ids":["https://openalex.org/I4210108113"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004946395","display_name":"Mohammad Tala\u2019t","orcid":"https://orcid.org/0000-0002-1288-5366"},"institutions":[{"id":"https://openalex.org/I148366613","display_name":"National Yang Ming Chiao Tung University","ror":"https://ror.org/00se2k293","country_code":"TW","type":"education","lineage":["https://openalex.org/I148366613"]},{"id":"https://openalex.org/I3132238960","display_name":"Institute of Electrical and Electronics Engineers","ror":"https://ror.org/01n002310","country_code":"US","type":"education","lineage":["https://openalex.org/I3132238960"]}],"countries":["TW","US"],"is_corresponding":false,"raw_author_name":"Mohammad Tala't","raw_affiliation_strings":["( Member, IEEE","Department of Electrical and Computer Engineering, National Chiao Tung University, Hsinchu, Taiwan"],"raw_orcid":"https://orcid.org/0000-0002-1288-5366","affiliations":[{"raw_affiliation_string":"( Member, IEEE","institution_ids":["https://openalex.org/I3132238960"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, National Chiao Tung University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I148366613"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019371571","display_name":"Li-Hsiang Shen","orcid":"https://orcid.org/0000-0002-6412-5457"},"institutions":[{"id":"https://openalex.org/I148366613","display_name":"National Yang Ming Chiao Tung University","ror":"https://ror.org/00se2k293","country_code":"TW","type":"education","lineage":["https://openalex.org/I148366613"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Li-Hsiang Shen","raw_affiliation_strings":["Department of Electrical and Computer Engineering, National Chiao Tung University, Hsinchu, Taiwan"],"raw_orcid":"https://orcid.org/0000-0002-6412-5457","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, National Chiao Tung University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I148366613"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020169858","display_name":"Kai\u2010Ten Feng","orcid":"https://orcid.org/0000-0002-2781-8449"},"institutions":[{"id":"https://openalex.org/I148366613","display_name":"National Yang Ming Chiao Tung University","ror":"https://ror.org/00se2k293","country_code":"TW","type":"education","lineage":["https://openalex.org/I148366613"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Kai-Ten Feng","raw_affiliation_strings":["Department of Electrical and Computer Engineering, National Chiao Tung University, Hsinchu, Taiwan"],"raw_orcid":"https://orcid.org/0000-0002-2781-8449","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, National Chiao Tung University, Hsinchu, Taiwan","institution_ids":["https://openalex.org/I148366613"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.6712,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.7264209,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"8","issue":null,"first_page":"71339","last_page":"71352"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13553","display_name":"Age of Information Optimization","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13553","display_name":"Age of Information Optimization","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12079","display_name":"IoT Networks and Protocols","score":0.9793999791145325,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10300","display_name":"Congenital Heart Disease Studies","score":0.9736999869346619,"subfield":{"id":"https://openalex.org/subfields/2713","display_name":"Epidemiology"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.8121883869171143},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7830520868301392},{"id":"https://openalex.org/keywords/network-packet","display_name":"Network packet","score":0.5693855285644531},{"id":"https://openalex.org/keywords/quality-of-service","display_name":"Quality of service","score":0.5379413366317749},{"id":"https://openalex.org/keywords/transmission","display_name":"Transmission (telecommunications)","score":0.5011334419250488},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4921061396598816},{"id":"https://openalex.org/keywords/energy-consumption","display_name":"Energy consumption","score":0.4236797094345093},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.41602373123168945},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.40547311305999756},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.11111360788345337},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08092811703681946}],"concepts":[{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.8121883869171143},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7830520868301392},{"id":"https://openalex.org/C158379750","wikidata":"https://www.wikidata.org/wiki/Q214111","display_name":"Network packet","level":2,"score":0.5693855285644531},{"id":"https://openalex.org/C5119721","wikidata":"https://www.wikidata.org/wiki/Q220501","display_name":"Quality of service","level":2,"score":0.5379413366317749},{"id":"https://openalex.org/C761482","wikidata":"https://www.wikidata.org/wiki/Q118093","display_name":"Transmission (telecommunications)","level":2,"score":0.5011334419250488},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4921061396598816},{"id":"https://openalex.org/C2780165032","wikidata":"https://www.wikidata.org/wiki/Q16869822","display_name":"Energy consumption","level":2,"score":0.4236797094345093},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.41602373123168945},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.40547311305999756},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.11111360788345337},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08092811703681946},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2020.2987012","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.2987012","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/09063520.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:291b94f3c9ef41fc9283abce39c719ce","is_oa":true,"landing_page_url":"https://doaj.org/article/291b94f3c9ef41fc9283abce39c719ce","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 8, Pp 71339-71352 (2020)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2020.2987012","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2020.2987012","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8948470/09063520.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Affordable and clean energy","id":"https://metadata.un.org/sdg/7","score":0.8500000238418579}],"awards":[{"id":"https://openalex.org/G2600340190","display_name":null,"funder_award_id":"108-2218-E-009-026","funder_id":"https://openalex.org/F4320322795","funder_display_name":"Ministry of Science and Technology, Taiwan"},{"id":"https://openalex.org/G3736049148","display_name":null,"funder_award_id":"107-2221-E-009-058-MY3","funder_id":"https://openalex.org/F4320322795","funder_display_name":"Ministry of Science and Technology, Taiwan"}],"funders":[{"id":"https://openalex.org/F4320322724","display_name":"Ministry of Education, India","ror":"https://ror.org/048xjjh50"},{"id":"https://openalex.org/F4320322795","display_name":"Ministry of Science and Technology, Taiwan","ror":"https://ror.org/02kv4zf79"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3015677298.pdf","grobid_xml":"https://content.openalex.org/works/W3015677298.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W1640967807","https://openalex.org/W1932416753","https://openalex.org/W1971457816","https://openalex.org/W2011734610","https://openalex.org/W2026290247","https://openalex.org/W2044323243","https://openalex.org/W2050097670","https://openalex.org/W2052868267","https://openalex.org/W2059470663","https://openalex.org/W2061372038","https://openalex.org/W2083313960","https://openalex.org/W2084316162","https://openalex.org/W2114102402","https://openalex.org/W2229008027","https://openalex.org/W2418752758","https://openalex.org/W2527083555","https://openalex.org/W2537117034","https://openalex.org/W2554737982","https://openalex.org/W2573590785","https://openalex.org/W2588468001","https://openalex.org/W2615768957","https://openalex.org/W2649848418","https://openalex.org/W2758857450","https://openalex.org/W2795324521","https://openalex.org/W2903879234","https://openalex.org/W2927883038","https://openalex.org/W2953558422","https://openalex.org/W2963030716","https://openalex.org/W2963294159","https://openalex.org/W2963943702","https://openalex.org/W3100786387","https://openalex.org/W3106144869"],"related_works":["https://openalex.org/W2004597074","https://openalex.org/W4213214852","https://openalex.org/W2323516465","https://openalex.org/W4238615239","https://openalex.org/W2512014291","https://openalex.org/W2137811827","https://openalex.org/W2315999538","https://openalex.org/W187740018","https://openalex.org/W2162286586","https://openalex.org/W4255368532"],"abstract_inverted_index":{"In":[0,22,80],"the":[1,13,29,34,63,68,90,96,136,142,164,170,175,179,187,200],"fifth":[2],"generation":[3],"(5G)":[4],"communication":[5],"system,":[6],"maximizing":[7],"energy":[8,20,41,61,196],"utilization":[9,197],"is":[10,25],"one":[11,134],"of":[12,58,70,135,166,169,178],"key":[14],"challenges":[15],"especially":[16],"with":[17,37,85,110,163,190],"limited":[18],"green":[19,40,59,195],"sources.":[21],"particular,":[23],"it":[24],"important":[26],"to":[27,82,140,173,199],"determine":[28],"optimal":[30,47,143],"transmission":[31,48,98,144],"policy":[32,49,99],"for":[33,89,105,124],"hybrid":[35,91],"model":[36,103],"grid":[38,53],"and":[39,56,131,158],"in":[42,127],"small":[43,93],"cell":[44,94],"networks.":[45],"The":[46,117],"should":[50],"minimize":[51],"both":[52],"power":[54],"consumption":[55],"wastage":[57],"harvested":[60],"at":[62],"same":[64],"time;":[65],"while":[66],"satisfying":[67],"quality":[69],"service":[71],"(QoS)":[72],"requirements":[73],"such":[74],"as":[75],"minimum":[76],"packet":[77,125,154,171],"drop":[78],"probability.":[79],"contrast":[81],"existing":[83],"policies":[84],"a":[86,101,111],"single":[87],"objective":[88],"powered":[92],"networks,":[95],"proposed":[97,180,188],"adopts":[100],"multi-objective":[102],"checking":[104],"Markov":[106,148],"decision":[107,149],"process":[108,150],"(MOMC-MDP)":[109],"linear":[112],"temporal":[113],"logic":[114],"(LTL)":[115],"scheme.":[116,182],"MOMC-MDP":[118,181,189],"firstly":[119],"determines":[120],"all":[121],"feasible":[122,138],"decisions":[123,139],"transmissions":[126],"every":[128],"time":[129],"slot,":[130],"then":[132],"chooses":[133],"best":[137],"obtain":[141],"policy.":[145],"Three":[146],"dimension":[147],"(3D-MDP)":[151],"that":[152,186],"includes":[153],"buffer,":[155],"battery":[156],"capacity,":[157],"channel":[159],"state,":[160],"are":[161],"used":[162],"age":[165],"information":[167],"(AoI)":[168],"arrivals":[172],"improve":[174],"overall":[176],"performance":[177],"Numerical":[183],"results":[184],"validate":[185],"AoI":[191],"can":[192],"provide":[193],"higher":[194],"compared":[198],"conventional":[201],"MDP-based":[202],"schemes.":[203]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}