{"id":"https://openalex.org/W2343343776","doi":"https://doi.org/10.1109/jsyst.2015.2493565","title":"Modeling and Analysis of the Thermal Properties Exhibited by Cyberphysical Data Centers","display_name":"Modeling and Analysis of the Thermal Properties Exhibited by Cyberphysical Data Centers","publication_year":2015,"publication_date":"2015-12-22","ids":{"openalex":"https://openalex.org/W2343343776","doi":"https://doi.org/10.1109/jsyst.2015.2493565","mag":"2343343776"},"language":"en","primary_location":{"id":"doi:10.1109/jsyst.2015.2493565","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jsyst.2015.2493565","pdf_url":null,"source":{"id":"https://openalex.org/S95999327","display_name":"IEEE Systems Journal","issn_l":"1932-8184","issn":["1932-8184","1937-9234","2373-7816"],"is_oa":false,"is_in_doaj":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Systems Journal","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5081150177","display_name":"Saif Ur Rehman Malik","orcid":"https://orcid.org/0000-0001-8195-1630"},"institutions":[{"id":"https://openalex.org/I16076960","display_name":"COMSATS University Islamabad","ror":"https://ror.org/00nqqvk19","country_code":"PK","type":"education","lineage":["https://openalex.org/I16076960"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Saif U. R. Malik","raw_affiliation_strings":["Department of Computer Science, COMSATS Institute of Information Technology, Islamabad, Pakistan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, COMSATS Institute of Information Technology, Islamabad, Pakistan","institution_ids":["https://openalex.org/I16076960"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055197093","display_name":"Kashif Bilal","orcid":"https://orcid.org/0000-0002-4381-8094"},"institutions":[{"id":"https://openalex.org/I16076960","display_name":"COMSATS University Islamabad","ror":"https://ror.org/00nqqvk19","country_code":"PK","type":"education","lineage":["https://openalex.org/I16076960"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Kashif Bilal","raw_affiliation_strings":["Department of Computer Science, COMSATS Institute of Information Technology, Islamabad, Pakistan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, COMSATS Institute of Information Technology, Islamabad, Pakistan","institution_ids":["https://openalex.org/I16076960"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003909640","display_name":"Samee U. Khan","orcid":"https://orcid.org/0000-0001-5640-4942"},"institutions":[{"id":"https://openalex.org/I57328836","display_name":"North Dakota State University","ror":"https://ror.org/05h1bnb22","country_code":"US","type":"education","lineage":["https://openalex.org/I57328836"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Samee U. Khan","raw_affiliation_strings":["Department of Electrical and Computer Engineering, College of Engineering, North Dakota State University, Fargo, ND, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, College of Engineering, North Dakota State University, Fargo, ND, USA","institution_ids":["https://openalex.org/I57328836"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070594442","display_name":"Bharadwaj Veeravalli","orcid":"https://orcid.org/0000-0001-9000-1813"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Bharadwaj Veeravalli","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Faculty of Engineering, National University of Singapore, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Faculty of Engineering, National University of Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087894632","display_name":"Keqin Li","orcid":"https://orcid.org/0000-0001-5224-4048"},"institutions":[{"id":"https://openalex.org/I157455823","display_name":"SUNY New Paltz","ror":"https://ror.org/03j3dv688","country_code":"US","type":"education","lineage":["https://openalex.org/I157455823"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Keqin Li","raw_affiliation_strings":["Department of Computer Science, School of Science and Engineering, State University of New York at New Paltz, New Paltz, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, School of Science and Engineering, State University of New York at New Paltz, New Paltz, NY, USA","institution_ids":["https://openalex.org/I157455823"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015993565","display_name":"Albert Y. Zomaya","orcid":"https://orcid.org/0000-0002-3090-1059"},"institutions":[{"id":"https://openalex.org/I129604602","display_name":"The University of Sydney","ror":"https://ror.org/0384j8v12","country_code":"AU","type":"education","lineage":["https://openalex.org/I129604602"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Albert Y. Zomaya","raw_affiliation_strings":["School of Information Technologies, The University of Sydney, Sydney, NSW, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Information Technologies, The University of Sydney, Sydney, NSW, Australia","institution_ids":["https://openalex.org/I129604602"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":9.7516,"has_fulltext":false,"cited_by_count":41,"citation_normalized_percentile":{"value":0.97867154,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"11","issue":"1","first_page":"163","last_page":"172"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10101","display_name":"Cloud Computing and Resource Management","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10714","display_name":"Software-Defined Networks and 5G","score":0.9980999827384949,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7090756297111511},{"id":"https://openalex.org/keywords/server","display_name":"Server","score":0.6958204507827759},{"id":"https://openalex.org/keywords/satisfiability-modulo-theories","display_name":"Satisfiability modulo theories","score":0.6279538869857788},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.602392852306366},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5443264245986938},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5060631632804871},{"id":"https://openalex.org/keywords/workload","display_name":"Workload","score":0.49931812286376953},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.47367554903030396},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.4206641912460327},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.4162130653858185},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.41416212916374207},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.41288498044013977},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.34821775555610657},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.18035706877708435},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.16868329048156738},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.09594351053237915}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7090756297111511},{"id":"https://openalex.org/C93996380","wikidata":"https://www.wikidata.org/wiki/Q44127","display_name":"Server","level":2,"score":0.6958204507827759},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.6279538869857788},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.602392852306366},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5443264245986938},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5060631632804871},{"id":"https://openalex.org/C2778476105","wikidata":"https://www.wikidata.org/wiki/Q628539","display_name":"Workload","level":2,"score":0.49931812286376953},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.47367554903030396},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.4206641912460327},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.4162130653858185},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.41416212916374207},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.41288498044013977},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.34821775555610657},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.18035706877708435},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.16868329048156738},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.09594351053237915},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/jsyst.2015.2493565","is_oa":false,"landing_page_url":"https://doi.org/10.1109/jsyst.2015.2493565","pdf_url":null,"source":{"id":"https://openalex.org/S95999327","display_name":"IEEE Systems Journal","issn_l":"1932-8184","issn":["1932-8184","1937-9234","2373-7816"],"is_oa":false,"is_in_doaj":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Systems Journal","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W60595265","https://openalex.org/W190397983","https://openalex.org/W1583869287","https://openalex.org/W1594251856","https://openalex.org/W1933251158","https://openalex.org/W1965522053","https://openalex.org/W1980363975","https://openalex.org/W1996109622","https://openalex.org/W2014989534","https://openalex.org/W2016806525","https://openalex.org/W2064483023","https://openalex.org/W2084330491","https://openalex.org/W2084412853","https://openalex.org/W2106119405","https://openalex.org/W2106892818","https://openalex.org/W2125081589","https://openalex.org/W2146840150","https://openalex.org/W2156751710","https://openalex.org/W2158914121","https://openalex.org/W2161145409","https://openalex.org/W2167588478","https://openalex.org/W2170002197","https://openalex.org/W2172090472","https://openalex.org/W2536745924","https://openalex.org/W3103395557","https://openalex.org/W3146734585","https://openalex.org/W6602539948","https://openalex.org/W6635300605","https://openalex.org/W6671682134","https://openalex.org/W6793064532"],"related_works":["https://openalex.org/W1551257573","https://openalex.org/W4230983483","https://openalex.org/W1980200158","https://openalex.org/W2154794415","https://openalex.org/W2132799268","https://openalex.org/W1538101305","https://openalex.org/W791317142","https://openalex.org/W2285033125","https://openalex.org/W4318620547","https://openalex.org/W2583022676"],"abstract_inverted_index":{"Data":[0],"centers":[1],"(DCs)":[2],"contribute":[3],"toward":[4],"the":[5,11,43,53,73,78,90,94,98,112,116,123,128,132,156,160,204,210,213,220],"prevalent":[6],"application":[7],"and":[8,16,23,88,107,147,154,171,180,190,201,219],"adoption":[9],"of":[10,31,33,46,115,122,131,159,203],"cloud":[12],"by":[13,52,77,93,127,173],"providing":[14],"architectural":[15],"operational":[17,44],"foundation.":[18],"To":[19],"perform":[20,119,197],"sustainable":[21],"computation":[22],"storage,":[24],"a":[25,47,64,67,137,143,148,176],"DC":[26,48,65,178],"is":[27,39,49,169],"equipped":[28],"with":[29,183],"tens":[30],"thousands":[32],"servers,":[34],"if":[35],"not":[36],"more.":[37],"It":[38],"worth":[40],"noting":[41],"that":[42,141],"cost":[45,54],"being":[50],"dominated":[51],"spent":[55],"on":[56,175],"energy":[57],"consumption.":[58],"In":[59],"this":[60],"paper,":[61],"we":[62,135,195],"model":[63],"as":[66,84,105,111],"cyberphysical":[68],"system":[69],"(CPS)":[70],"to":[71,152],"capture":[72],"thermal":[74,124,157],"properties":[75],"exhibited":[76],"DC.":[79],"All":[80],"software":[81],"aspects,":[82],"such":[83,104],"scheduling,":[85],"load":[86],"balancing,":[87],"all":[89],"computations":[91],"performed":[92],"devices,":[95],"are":[96,109],"considered":[97],"\u201ccyber\u201d":[99],"component.":[100],"The":[101],"supported":[102],"infrastructure,":[103],"servers":[106],"switches,":[108],"modeled":[110],"\u201cphysical\u201d":[113],"component":[114],"CPS.":[117,133],"We":[118],"detailed":[120],"modeling":[121],"characteristics":[125],"displayed":[126],"major":[129],"components":[130,162],"Moreover,":[134],"propose":[136],"thermal-aware":[138,192],"control":[139,155],"strategy":[140,168],"uses":[142],"high-level":[144,207],"centralized":[145,150],"controller":[146,151],"low-level":[149],"manage":[153],"status":[158],"cyber":[161],"at":[163],"different":[164],"levels.":[165],"Our":[166],"proposed":[167],"testified":[170],"demonstrated":[172],"executing":[174],"real":[177],"workload":[179],"comparing":[181],"it":[182],"three":[184],"existing":[185],"strategies,":[186],"i.e.,":[187],"one":[188],"classical":[189],"two":[191],"strategies.":[193],"Furthermore,":[194],"also":[196],"formal":[198],"modeling,":[199],"analysis,":[200],"verification":[202],"strategies":[205],"using":[206],"Petri":[208],"nets,":[209],"Z":[211],"language,":[212],"Satisfiability":[214],"Modulo":[215],"Theories":[216],"Library":[217],"(SMT-Lib),":[218],"Z3":[221],"solver.":[222]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":8},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}