{"id":"https://openalex.org/W2104031213","doi":"https://doi.org/10.1145/2516930.2516937","title":"A formal model for sustainable vehicle-to-grid management","display_name":"A formal model for sustainable vehicle-to-grid management","publication_year":2013,"publication_date":"2013-11-08","ids":{"openalex":"https://openalex.org/W2104031213","doi":"https://doi.org/10.1145/2516930.2516937","mag":"2104031213"},"language":"en","primary_location":{"id":"doi:10.1145/2516930.2516937","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2516930.2516937","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the first ACM workshop on Smart energy grid security","raw_type":"proceedings-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/A5100648380","display_name":"Mohammad Ashiqur Rahman","orcid":"https://orcid.org/0000-0002-2963-7430"},"institutions":[{"id":"https://openalex.org/I102149020","display_name":"University of North Carolina at Charlotte","ror":"https://ror.org/04dawnj30","country_code":"US","type":"education","lineage":["https://openalex.org/I102149020"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Mohammad Ashiqur Rahman","raw_affiliation_strings":["University of North Carolina at Charlotte, Charlotte, NC, USA"],"affiliations":[{"raw_affiliation_string":"University of North Carolina at Charlotte, Charlotte, NC, USA","institution_ids":["https://openalex.org/I102149020"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018845377","display_name":"Fadi Mohsen","orcid":"https://orcid.org/0000-0003-3876-5781"},"institutions":[{"id":"https://openalex.org/I102149020","display_name":"University of North Carolina at Charlotte","ror":"https://ror.org/04dawnj30","country_code":"US","type":"education","lineage":["https://openalex.org/I102149020"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Fadi Mohsen","raw_affiliation_strings":["University of North Carolina at Charlotte, Charlotte, NC, USA"],"affiliations":[{"raw_affiliation_string":"University of North Carolina at Charlotte, Charlotte, NC, USA","institution_ids":["https://openalex.org/I102149020"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043893479","display_name":"Ehab Al\u2010Shaer","orcid":"https://orcid.org/0000-0002-7665-8293"},"institutions":[{"id":"https://openalex.org/I102149020","display_name":"University of North Carolina at Charlotte","ror":"https://ror.org/04dawnj30","country_code":"US","type":"education","lineage":["https://openalex.org/I102149020"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ehab Al-Shaer","raw_affiliation_strings":["University of North Carolina at Charlotte, Charlotte, NC, USA"],"affiliations":[{"raw_affiliation_string":"University of North Carolina at Charlotte, Charlotte, NC, USA","institution_ids":["https://openalex.org/I102149020"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100648380"],"corresponding_institution_ids":["https://openalex.org/I102149020"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.14676863,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"81","last_page":"92"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10768","display_name":"Electric Vehicles and Infrastructure","score":0.9994000196456909,"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/T10768","display_name":"Electric Vehicles and Infrastructure","score":0.9994000196456909,"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/T11942","display_name":"Transportation and Mobility Innovations","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive 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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9866999983787537,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/news-aggregator","display_name":"News aggregator","score":0.7210296392440796},{"id":"https://openalex.org/keywords/grid","display_name":"Grid","score":0.7114275693893433},{"id":"https://openalex.org/keywords/vehicle-to-grid","display_name":"Vehicle-to-grid","score":0.6730783581733704},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.672577440738678},{"id":"https://openalex.org/keywords/smart-grid","display_name":"Smart grid","score":0.6032803654670715},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.591328501701355},{"id":"https://openalex.org/keywords/electricity","display_name":"Electricity","score":0.5287092924118042},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.48080745339393616},{"id":"https://openalex.org/keywords/plug-in","display_name":"Plug-in","score":0.47162890434265137},{"id":"https://openalex.org/keywords/battery","display_name":"Battery (electricity)","score":0.4159901738166809},{"id":"https://openalex.org/keywords/operations-research","display_name":"Operations research","score":0.39320024847984314},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3834449052810669},{"id":"https://openalex.org/keywords/electric-vehicle","display_name":"Electric vehicle","score":0.32868725061416626},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.14203780889511108},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.13756981492042542},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.13518288731575012},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.11234551668167114},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.09847575426101685}],"concepts":[{"id":"https://openalex.org/C180505990","wikidata":"https://www.wikidata.org/wiki/Q498267","display_name":"News aggregator","level":2,"score":0.7210296392440796},{"id":"https://openalex.org/C187691185","wikidata":"https://www.wikidata.org/wiki/Q2020720","display_name":"Grid","level":2,"score":0.7114275693893433},{"id":"https://openalex.org/C2780068603","wikidata":"https://www.wikidata.org/wiki/Q1783938","display_name":"Vehicle-to-grid","level":4,"score":0.6730783581733704},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.672577440738678},{"id":"https://openalex.org/C10558101","wikidata":"https://www.wikidata.org/wiki/Q689855","display_name":"Smart grid","level":2,"score":0.6032803654670715},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.591328501701355},{"id":"https://openalex.org/C206658404","wikidata":"https://www.wikidata.org/wiki/Q12725","display_name":"Electricity","level":2,"score":0.5287092924118042},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.48080745339393616},{"id":"https://openalex.org/C4924752","wikidata":"https://www.wikidata.org/wiki/Q184148","display_name":"Plug-in","level":2,"score":0.47162890434265137},{"id":"https://openalex.org/C555008776","wikidata":"https://www.wikidata.org/wiki/Q267298","display_name":"Battery (electricity)","level":3,"score":0.4159901738166809},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.39320024847984314},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3834449052810669},{"id":"https://openalex.org/C2776422217","wikidata":"https://www.wikidata.org/wiki/Q13629441","display_name":"Electric vehicle","level":3,"score":0.32868725061416626},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.14203780889511108},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.13756981492042542},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.13518288731575012},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.11234551668167114},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.09847575426101685},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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.1145/2516930.2516937","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2516930.2516937","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the first ACM workshop on Smart energy grid security","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320333028","display_name":"University of North Carolina at Charlotte","ror":"https://ror.org/04dawnj30"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1605725714","https://openalex.org/W1936354298","https://openalex.org/W1972238552","https://openalex.org/W2024974439","https://openalex.org/W2028934327","https://openalex.org/W2043427189","https://openalex.org/W2100115181","https://openalex.org/W2128263667","https://openalex.org/W2142785340","https://openalex.org/W2142871505","https://openalex.org/W2213934457","https://openalex.org/W2476096155","https://openalex.org/W2532842127","https://openalex.org/W2542505360","https://openalex.org/W4200467558","https://openalex.org/W4251937361"],"related_works":["https://openalex.org/W2570892890","https://openalex.org/W3212802924","https://openalex.org/W2043391632","https://openalex.org/W4390418754","https://openalex.org/W2019925010","https://openalex.org/W2592016895","https://openalex.org/W2989881284","https://openalex.org/W2898753862","https://openalex.org/W3194877138","https://openalex.org/W2046431980"],"abstract_inverted_index":{"The":[0,106,122],"Vehicle-To-Grid":[1],"(V2G)":[2],"technology":[3],"allows":[4],"plug-in":[5],"electric":[6],"vehicles":[7],"(PEVs)":[8],"to":[9,23,46,153],"act":[10],"like":[11],"an":[12,97,111],"energy":[13],"provider":[14],"besides":[15,143],"being":[16,21],"a":[17,66,126,130,158],"consumer.":[18],"A":[19],"PEV,":[20],"connected":[22],"the":[24,36,40,44,47,54,59,62,74,83,86,116,136,140,155,161,168],"smart":[25],"grid,":[26,84],"can":[27,50,170],"either":[28],"charge":[29],"its":[30,144],"battery":[31,45],"by":[32,138],"consuming":[33],"electricity":[34,42],"from":[35,43],"grid":[37,75],"or":[38],"discharge":[39],"stored":[41],"grid.":[48,60],"It":[49],"also":[51],"participate":[52],"in":[53,65],"frequency":[55],"regulation":[56],"service":[57],"of":[58,82,132,160,178],"Executing":[61],"aforementioned":[63],"operations":[64,87],"non-controlled":[67],"fashion":[68],"may":[69],"come":[70],"with":[71,176],"problems":[72,175],"on":[73],"functionality.":[76],"For":[77],"safe":[78],"and":[79,120],"sustainable":[80],"functioning":[81],"controlling":[85],"is":[88,108],"very":[89],"crucial.":[90],"In":[91],"this":[92],"paper,":[93],"we":[94],"are":[95],"offering":[96],"approach":[98,107],"for":[99,135,174],"vehicle-to-grid":[100],"management":[101,127],"using":[102],"constraint-based":[103],"formal":[104],"modeling.":[105],"centered":[109],"around":[110],"aggregator":[112,123],"that":[113,167],"collects":[114],"all":[115],"involved":[117],"parties'":[118],"constraints":[119,142],"preferences.":[121],"then":[124],"finds":[125],"plan,":[128],"i.e.,":[129],"schedule":[131,156],"V2G":[133],"services":[134],"PEVs":[137],"satisfying":[139],"given":[141],"own":[145],"requirements.":[146],"We":[147],"apply":[148],"satisfiability":[149],"modulo":[150],"theories":[151],"(SMT)":[152],"synthesize":[154],"as":[157],"satisfaction":[159],"constraints.":[162],"Our":[163],"evaluation":[164],"results":[165],"show":[166],"formalization":[169],"be":[171],"efficiently":[172],"solved":[173],"thousands":[177],"PEVs.":[179]},"counts_by_year":[{"year":2019,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}