{"id":"https://openalex.org/W2782876185","doi":"https://doi.org/10.1109/tii.2018.2791537","title":"Probabilistic Model Checking and Scheduling Implementation of an Energy Router System in Energy Internet for Green Cities","display_name":"Probabilistic Model Checking and Scheduling Implementation of an Energy Router System in Energy Internet for Green Cities","publication_year":2018,"publication_date":"2018-01-09","ids":{"openalex":"https://openalex.org/W2782876185","doi":"https://doi.org/10.1109/tii.2018.2791537","mag":"2782876185"},"language":"en","primary_location":{"id":"doi:10.1109/tii.2018.2791537","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tii.2018.2791537","pdf_url":null,"source":{"id":"https://openalex.org/S184777250","display_name":"IEEE Transactions on Industrial Informatics","issn_l":"1551-3203","issn":["1551-3203","1941-0050"],"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 Transactions on Industrial Informatics","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/A5020484399","display_name":"Min Gao","orcid":"https://orcid.org/0000-0003-4548-4822"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Min Gao","raw_affiliation_strings":["State Key Laboratory of VLSI and Systems, Fudan University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of VLSI and Systems, Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100366711","display_name":"Kun Wang","orcid":"https://orcid.org/0000-0003-1318-6548"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]},{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]},{"id":"https://openalex.org/I41198531","display_name":"Nanjing University of Posts and Telecommunications","ror":"https://ror.org/043bpky34","country_code":"CN","type":"education","lineage":["https://openalex.org/I41198531"]}],"countries":["CN","US"],"is_corresponding":false,"raw_author_name":"Kun Wang","raw_affiliation_strings":["Department of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai, China","Electrical and Computer Engineering Department, University of California, Los Angeles, CA, USA","National Engineering Research Center of Communications and Networking, Nanjing University of Posts and Telecommunications, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0003-1318-6548","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"Electrical and Computer Engineering Department, University of California, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I161318765"]},{"raw_affiliation_string":"National Engineering Research Center of Communications and Networking, Nanjing University of Posts and Telecommunications, Nanjing, China","institution_ids":["https://openalex.org/I41198531"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008695429","display_name":"Lei He","orcid":"https://orcid.org/0000-0002-5266-3805"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lei He","raw_affiliation_strings":["State Key Laboratory of VLSI and Systems, Fudan University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of VLSI and Systems, Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":13.6956,"has_fulltext":false,"cited_by_count":116,"citation_normalized_percentile":{"value":0.99197234,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":100},"biblio":{"volume":"14","issue":"4","first_page":"1501","last_page":"1510"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T10603","display_name":"Smart Grid Energy Management","score":0.9984999895095825,"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/T12238","display_name":"Green IT and Sustainability","score":0.9976000189781189,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7577675580978394},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.6388179063796997},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.5400539040565491},{"id":"https://openalex.org/keywords/router","display_name":"Router","score":0.5143352746963501},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4699426293373108},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.46073195338249207},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.4554440975189209},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.41439539194107056},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.4139009416103363},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3962438404560089},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.38869574666023254},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.34334713220596313},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.1819029450416565},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1598566174507141},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1391831338405609}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7577675580978394},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.6388179063796997},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.5400539040565491},{"id":"https://openalex.org/C2775896111","wikidata":"https://www.wikidata.org/wiki/Q642560","display_name":"Router","level":2,"score":0.5143352746963501},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4699426293373108},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.46073195338249207},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.4554440975189209},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.41439539194107056},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.4139009416103363},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3962438404560089},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.38869574666023254},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.34334713220596313},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.1819029450416565},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1598566174507141},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1391831338405609},{"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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","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":1,"locations":[{"id":"doi:10.1109/tii.2018.2791537","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tii.2018.2791537","pdf_url":null,"source":{"id":"https://openalex.org/S184777250","display_name":"IEEE Transactions on Industrial Informatics","issn_l":"1551-3203","issn":["1551-3203","1941-0050"],"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 Transactions on Industrial Informatics","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2023296160","display_name":null,"funder_award_id":"2017M610252","funder_id":"https://openalex.org/F4320321543","funder_display_name":"China Postdoctoral Science Foundation"},{"id":"https://openalex.org/G3436955303","display_name":null,"funder_award_id":"2017T100297","funder_id":"https://openalex.org/F4320321543","funder_display_name":"China Postdoctoral Science Foundation"},{"id":"https://openalex.org/G5417170359","display_name":"\u9762\u5411\u4e0a\u4e0b\u6587\u611f\u77e5\u6570\u636e\u7684\u6d41\u8ba1\u7b97\u590d\u6742\u4e8b\u4ef6\u5904\u7406\u6280\u672f\u7814\u7a76","funder_award_id":"61572262","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321543","display_name":"China Postdoctoral Science Foundation","ror":"https://ror.org/0426zh255"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W1516256348","https://openalex.org/W1862398452","https://openalex.org/W1899556575","https://openalex.org/W1968676143","https://openalex.org/W1971488976","https://openalex.org/W1978529441","https://openalex.org/W2022325669","https://openalex.org/W2045287414","https://openalex.org/W2071133126","https://openalex.org/W2121825249","https://openalex.org/W2138584505","https://openalex.org/W2140417075","https://openalex.org/W2150119568","https://openalex.org/W2285736937","https://openalex.org/W2306633338","https://openalex.org/W2326874813","https://openalex.org/W2507314474","https://openalex.org/W2512979881","https://openalex.org/W2513641134","https://openalex.org/W2556470655","https://openalex.org/W2562172891","https://openalex.org/W2567666012","https://openalex.org/W2570025844","https://openalex.org/W2577854396","https://openalex.org/W2590053116","https://openalex.org/W2606906085","https://openalex.org/W2608689243","https://openalex.org/W2619104685","https://openalex.org/W2734909543","https://openalex.org/W2954901571","https://openalex.org/W3152208189","https://openalex.org/W4241357800","https://openalex.org/W6638944184","https://openalex.org/W6668012104","https://openalex.org/W6678150594","https://openalex.org/W6729812782","https://openalex.org/W6734443489","https://openalex.org/W6740975496","https://openalex.org/W6765048423"],"related_works":["https://openalex.org/W2122026593","https://openalex.org/W1588358165","https://openalex.org/W4237683758","https://openalex.org/W2582203024","https://openalex.org/W2370711413","https://openalex.org/W2375932043","https://openalex.org/W830459867","https://openalex.org/W187740018","https://openalex.org/W2162286586","https://openalex.org/W4255368532"],"abstract_inverted_index":{"Energy":[0],"router":[1],"(ER)":[2],"based":[3,92],"system":[4,58,105,140],"is":[5],"a":[6,28,33,61,87,126],"crucial":[7],"part":[8],"of":[9,18,69,77,125,153],"the":[10,16,67,70,78,99,104,109,114,139,151,154,158],"energy":[11,19,110],"transmission":[12],"and":[13,32,43,117,145,157],"management":[14],"under":[15],"circumstance":[17],"Internet":[20],"for":[21,55],"green":[22],"cities.":[23],"During":[24],"its":[25,41],"design":[26],"process,":[27],"sound":[29],"formal":[30,52],"verification":[31,53],"performance":[34],"monitoring":[35,159],"scheme":[36],"are":[37],"needed":[38],"to":[39,85,97,137],"check":[40],"reliability":[42,141],"meaningful":[44],"quantitative":[45,143],"properties.":[46],"In":[47],"this":[48,120],"paper,":[49],"we":[50,81,107,132],"provide":[51],"solutions":[54],"an":[56,94],"ER-based":[57,71,79,115],"by":[59],"proposing":[60],"continuous-time":[62],"Markov":[63,88],"chain":[64],"model":[65,91],"describing":[66],"architecture":[68],"system.":[72],"To":[73,102],"verify":[74],"real-world":[75],"function":[76],"system,":[80,116],"choose":[82],"electricity":[83],"trading":[84,100],"propose":[86],"decision":[89],"process":[90,112,122],"on":[93,123],"ER":[95],"subsystem":[96],"describe":[98],"behavior.":[101],"monitor":[103],"performance,":[106],"project":[108],"scheduling":[111,121,146],"in":[113],"then":[118],"implement":[119],"top":[124],"cloud":[127],"computing":[128],"experiment":[129,135,149],"tool.":[130],"Finally,":[131],"perform":[133],"extensive":[134],"evaluations":[136],"investigate":[138],"properties,":[142,144],"behaviors.":[147],"The":[148],"verifies":[150],"effectiveness":[152],"proposed":[155],"models":[156],"scheme.":[160]},"counts_by_year":[{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":12},{"year":2022,"cited_by_count":18},{"year":2021,"cited_by_count":14},{"year":2020,"cited_by_count":17},{"year":2019,"cited_by_count":19},{"year":2018,"cited_by_count":25}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}