{"id":"https://openalex.org/W2807803220","doi":"https://doi.org/10.1109/isgt-asia.2017.8378447","title":"Formal verification of demand response based home energy management systems in smart grids","display_name":"Formal verification of demand response based home energy management systems in smart grids","publication_year":2017,"publication_date":"2017-12-01","ids":{"openalex":"https://openalex.org/W2807803220","doi":"https://doi.org/10.1109/isgt-asia.2017.8378447","mag":"2807803220"},"language":"en","primary_location":{"id":"doi:10.1109/isgt-asia.2017.8378447","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isgt-asia.2017.8378447","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE Innovative Smart Grid Technologies - Asia (ISGT-Asia)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5028933139","display_name":"Adnan Yaqoob Salik","orcid":null},"institutions":[{"id":"https://openalex.org/I929597975","display_name":"National University of Sciences and Technology","ror":"https://ror.org/03w2j5y17","country_code":"PK","type":"education","lineage":["https://openalex.org/I929597975"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Adnan Yaqoob Salik","raw_affiliation_strings":["School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST), Islamabad, Pakistan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST), Islamabad, Pakistan","institution_ids":["https://openalex.org/I929597975"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015655552","display_name":"Muhammad Usama Sardar","orcid":"https://orcid.org/0000-0001-7652-559X"},"institutions":[{"id":"https://openalex.org/I929597975","display_name":"National University of Sciences and Technology","ror":"https://ror.org/03w2j5y17","country_code":"PK","type":"education","lineage":["https://openalex.org/I929597975"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Muhammad Usama Sardar","raw_affiliation_strings":["School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST), Islamabad, Pakistan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST), Islamabad, Pakistan","institution_ids":["https://openalex.org/I929597975"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066768973","display_name":"Osman Hasan","orcid":"https://orcid.org/0000-0003-2562-2669"},"institutions":[{"id":"https://openalex.org/I929597975","display_name":"National University of Sciences and Technology","ror":"https://ror.org/03w2j5y17","country_code":"PK","type":"education","lineage":["https://openalex.org/I929597975"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Osman Hasan","raw_affiliation_strings":["School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST), Islamabad, Pakistan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electrical Engineering and Computer Science (SEECS), National University of Sciences and Technology (NUST), Islamabad, Pakistan","institution_ids":["https://openalex.org/I929597975"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034599612","display_name":"Syed Rafay Hasan","orcid":"https://orcid.org/0000-0003-0183-8086"},"institutions":[{"id":"https://openalex.org/I63920570","display_name":"Tennessee Technological University","ror":"https://ror.org/05drmrq39","country_code":"US","type":"education","lineage":["https://openalex.org/I63920570"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Syed Rafay Hasan","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Tennessee Technological University, Cookeville, TN, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Tennessee Technological University, Cookeville, TN, USA","institution_ids":["https://openalex.org/I63920570"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088563267","display_name":"Falah Awwad","orcid":"https://orcid.org/0000-0001-6154-2143"},"institutions":[{"id":"https://openalex.org/I201726411","display_name":"United Arab Emirates University","ror":"https://ror.org/01km6p862","country_code":"AE","type":"education","lineage":["https://openalex.org/I201726411"]}],"countries":["AE"],"is_corresponding":false,"raw_author_name":"Falah Awwad","raw_affiliation_strings":["College of Engineering, United Arab Emirates University, Al-Ain, UAE"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Engineering, United Arab Emirates University, Al-Ain, UAE","institution_ids":["https://openalex.org/I201726411"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3792,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.58023239,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"24","issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10603","display_name":"Smart Grid Energy Management","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10603","display_name":"Smart Grid Energy Management","score":0.9998000264167786,"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/T10917","display_name":"Smart Grid Security and Resilience","score":0.9991000294685364,"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/T10223","display_name":"Microgrid Control and Optimization","score":0.9878000020980835,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/demand-response","display_name":"Demand response","score":0.7777869701385498},{"id":"https://openalex.org/keywords/smart-grid","display_name":"Smart grid","score":0.7763894200325012},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6608716249465942},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5839743614196777},{"id":"https://openalex.org/keywords/energy-management-system","display_name":"Energy management system","score":0.5554095506668091},{"id":"https://openalex.org/keywords/power-demand","display_name":"Power demand","score":0.5048145055770874},{"id":"https://openalex.org/keywords/electric-power-system","display_name":"Electric power system","score":0.486825168132782},{"id":"https://openalex.org/keywords/energy-management","display_name":"Energy management","score":0.4823855459690094},{"id":"https://openalex.org/keywords/load-management","display_name":"Load management","score":0.42173996567726135},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.38426411151885986},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.38330695033073425},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3694630265235901},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.30091530084609985},{"id":"https://openalex.org/keywords/energy","display_name":"Energy (signal processing)","score":0.25481218099594116},{"id":"https://openalex.org/keywords/electricity","display_name":"Electricity","score":0.20068219304084778},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.1473325490951538},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1461057960987091},{"id":"https://openalex.org/keywords/power-consumption","display_name":"Power consumption","score":0.10665977001190186}],"concepts":[{"id":"https://openalex.org/C2779438525","wikidata":"https://www.wikidata.org/wiki/Q5255048","display_name":"Demand response","level":3,"score":0.7777869701385498},{"id":"https://openalex.org/C10558101","wikidata":"https://www.wikidata.org/wiki/Q689855","display_name":"Smart grid","level":2,"score":0.7763894200325012},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6608716249465942},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5839743614196777},{"id":"https://openalex.org/C2781260460","wikidata":"https://www.wikidata.org/wiki/Q6139999","display_name":"Energy management system","level":4,"score":0.5554095506668091},{"id":"https://openalex.org/C2983317576","wikidata":"https://www.wikidata.org/wiki/Q1853339","display_name":"Power demand","level":4,"score":0.5048145055770874},{"id":"https://openalex.org/C89227174","wikidata":"https://www.wikidata.org/wiki/Q2388981","display_name":"Electric power system","level":3,"score":0.486825168132782},{"id":"https://openalex.org/C7817414","wikidata":"https://www.wikidata.org/wiki/Q1779504","display_name":"Energy management","level":3,"score":0.4823855459690094},{"id":"https://openalex.org/C2779370713","wikidata":"https://www.wikidata.org/wiki/Q357554","display_name":"Load management","level":2,"score":0.42173996567726135},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.38426411151885986},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.38330695033073425},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3694630265235901},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.30091530084609985},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.25481218099594116},{"id":"https://openalex.org/C206658404","wikidata":"https://www.wikidata.org/wiki/Q12725","display_name":"Electricity","level":2,"score":0.20068219304084778},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.1473325490951538},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1461057960987091},{"id":"https://openalex.org/C2984118289","wikidata":"https://www.wikidata.org/wiki/Q29954","display_name":"Power consumption","level":3,"score":0.10665977001190186},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/isgt-asia.2017.8378447","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isgt-asia.2017.8378447","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE Innovative Smart Grid Technologies - Asia (ISGT-Asia)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Affordable and clean energy","id":"https://metadata.un.org/sdg/7","score":0.8899999856948853}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W1542994516","https://openalex.org/W1575668865","https://openalex.org/W1862398452","https://openalex.org/W1966000437","https://openalex.org/W1968167335","https://openalex.org/W1973522354","https://openalex.org/W1977209346","https://openalex.org/W2008668719","https://openalex.org/W2030895696","https://openalex.org/W2036879749","https://openalex.org/W2038555306","https://openalex.org/W2068717152","https://openalex.org/W2082291889","https://openalex.org/W2124038732","https://openalex.org/W2138869010","https://openalex.org/W2329597761","https://openalex.org/W2510528222","https://openalex.org/W2512374076","https://openalex.org/W2566728753","https://openalex.org/W2807803220","https://openalex.org/W2911412425","https://openalex.org/W4252523111","https://openalex.org/W6641730070"],"related_works":["https://openalex.org/W1589973774","https://openalex.org/W2556396996","https://openalex.org/W2044719695","https://openalex.org/W2146879318","https://openalex.org/W3116146582","https://openalex.org/W4386450764","https://openalex.org/W2942724197","https://openalex.org/W2621043410","https://openalex.org/W2545541232","https://openalex.org/W3163916344"],"abstract_inverted_index":{"Demand":[0],"Response":[1],"Management":[2,50],"System":[3,51],"(DRMS)":[4],"is":[5,29,53,57,65,109],"used":[6,116],"in":[7,94,111,137],"a":[8,54],"smart":[9],"grid":[10],"to":[11,34,40,80,85,98,117,127],"reduce":[12],"the":[13,24,27,88,121,128],"gap":[14],"between":[15],"power":[16,133],"generation":[17],"and":[18,46,76,84,91,113,130],"its":[19,104],"demand.":[20],"The":[21],"knowledge":[22],"of":[23,26,120],"demand":[25,37],"customers":[28],"very":[30],"important":[31],"because":[32],"failing":[33],"fulfill":[35],"this":[36,138],"can":[38,114],"lead":[39],"serious":[41],"issues,":[42],"like":[43],"system":[44],"failures":[45],"blackouts.":[47],"Home":[48],"Energy":[49],"(HEMS)":[52],"DRMS":[55],"that":[56],"designed":[58],"specially":[59],"for":[60,87,103],"residential":[61],"customers.":[62],"Traditionally,":[63],"HEMS":[64],"analyzed":[66],"using":[67],"simulation-based":[68],"techniques":[69],"but":[70],"such":[71],"an":[72],"analysis":[73],"lacks":[74],"completeness":[75],"exhaustiveness.":[77],"In":[78],"order":[79],"overcome":[81],"these":[82],"issues":[83],"account":[86],"numerous":[89],"random":[90],"unpredictable":[92],"factors":[93],"HEMS,":[95],"we":[96],"propose":[97],"use":[99],"probabilistic":[100],"model":[101,108,118],"checking":[102],"analysis.":[105],"Our":[106],"formal":[107],"generic":[110],"nature":[112],"be":[115],"most":[119],"existing":[122],"HEMS.":[123],"Important":[124],"results":[125],"related":[126],"efficiency":[129],"total":[131],"household":[132],"are":[134],"also":[135],"presented":[136],"paper.":[139]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}