{"id":"https://openalex.org/W3136487112","doi":null,"title":"Cyber Physical System Modeling of Smart Charging Process","display_name":"Cyber Physical System Modeling of Smart Charging Process","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W3136487112","mag":"3136487112"},"language":"en","primary_location":{"id":"pmh:oai:pqdtoai.proquest.com:13420593","doi":null,"is_oa":false,"landing_page_url":"http://pqdtopen.proquest.com/#viewpdf?dispub=13420593","pdf_url":"http://pqdtopen.proquest.com/#viewpdf?dispub=13420593","source":{"id":"https://openalex.org/S7407064308","display_name":"ProQuest Demo Repository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"thesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"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/A5060421847","display_name":"Matthew T. Langschwager","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Matthew T. Langschwager","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5060421847"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"4","last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.41040000319480896,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.41040000319480896,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10768","display_name":"Electric Vehicles and Infrastructure","score":0.2517000138759613,"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.15139999985694885,"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/cyber-physical-systems","display_name":"cyber-physical systems","score":0.9390000104904175},{"id":"https://openalex.org/keywords/electric-vehicle-charging","display_name":"electric vehicle charging","score":0.906000018119812},{"id":"https://openalex.org/keywords/system-vulnerabilities","display_name":"system vulnerabilities","score":0.5580000281333923},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.7850000262260437},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"linear temporal logic","score":0.8199999928474426},{"id":"https://openalex.org/keywords/ptolemy-ii","display_name":"Ptolemy II","score":0.9259999990463257},{"id":"https://openalex.org/keywords/building-energy-management-systems","display_name":"building energy management systems","score":0.8930000066757202},{"id":"https://openalex.org/keywords/critical-infrastructure-security","display_name":"critical infrastructure security","score":0.781000018119812}],"concepts":[{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6455047130584717},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.5483145117759705},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.48429933190345764},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:pqdtoai.proquest.com:13420593","doi":null,"is_oa":false,"landing_page_url":"http://pqdtopen.proquest.com/#viewpdf?dispub=13420593","pdf_url":"http://pqdtopen.proquest.com/#viewpdf?dispub=13420593","source":{"id":"https://openalex.org/S7407064308","display_name":"ProQuest Demo Repository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"thesis"},{"id":"mag:3136487112","doi":null,"is_oa":false,"landing_page_url":"https://ui.adsabs.harvard.edu/abs/2018MsT..........4L/abstract","pdf_url":null,"source":{"id":"https://openalex.org/S4306519267","display_name":"Masters Thesis","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Masters Thesis","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"score":1.0,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"},{"score":0.5690000057220459,"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy"}],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2963413291","https://openalex.org/W4388747907","https://openalex.org/W2966917704","https://openalex.org/W6921844123","https://openalex.org/W4408281562","https://openalex.org/W7135216949","https://openalex.org/W4312237341","https://openalex.org/W4405304989","https://openalex.org/W3108634995","https://openalex.org/W3049414993"],"abstract_inverted_index":{"This":[0],"research":[1,115,269],"presents":[2],"cyber-physical":[3,126,155],"systems":[4,49,61],"(CPS)":[5],"modeling":[6],"of":[7,59,63,71,105,112,165,169,273,289],"the":[8,23,33,67,72,79,113,125,129,177,191,196,208,216,218,247,260,274,286],"smart":[9],"charging":[10,80],"process":[11],"to":[12,98,117,121,133,174,228,241,252,270,284],"both":[13,290],"identify":[14],"and":[15,25,32,50,56,69,76,82,93,102,107,123,131,140,149,157,179,204,232,256,292,296],"analyze":[16],"potential":[17,257],"vulnerabilities":[18,245,264],"that":[19,144],"may":[20],"exist":[21],"during":[22],"interaction":[24],"integration":[26,58,104],"between":[27,128],"an":[28],"Electric":[29,34],"Vehicle":[30,35],"(EV)":[31],"Service":[36],"Equipment":[37],"(EVSE).":[38],"As":[39],"EVSEs":[40],"are":[41],"increasingly":[42],"being":[43],"integrated":[44,206,248],"into":[45,136,162],"building":[46],"energy":[47],"management":[48],"interfaced":[51],"with":[52,186],"electric":[53,83],"vehicles,":[54],"safe":[55,101],"secure":[57,103],"these":[60],"is":[62,95,116],"paramount":[64],"importance":[65],"for":[66,100,193,258],"safety":[68,288],"security":[70],"nation's":[73],"critical":[74],"infrastructure":[75],"people.":[77],"Both":[78],"station":[81],"vehicles":[84],"have":[85],"electro-mechanical":[86],"components":[87],"built":[88],"from":[89],"3rd":[90],"party":[91],"providers,":[92],"there":[94],"no":[96],"mechanism":[97],"check":[99],"EVs":[106],"EVSEs.":[108],"The":[109,167,234],"overall":[110],"goal":[111],"proposed":[114],"apply":[118],"formal":[119],"methods":[120],"verify":[122,253],"validate":[124],"interactions":[127],"EV":[130,178,295],"EVSE":[132,180,297],"gain":[134],"insight":[135],"vulnerable":[137],"system":[138,156,171,249],"states":[139,164,168],"their":[141,254],"impacts.":[142],"To":[143],"end,":[145],"each":[146,170],"component":[147],"(EV":[148],"EVSE)":[150],"was":[151,220,238],"considered":[152],"its":[153,230],"own":[154],"then":[158,239],"separately":[159],"broken":[160],"down":[161],"individual":[163,200],"operation.":[166],"were":[172,202,265],"compared":[173],"determine":[175],"how":[176],"interacted":[181],"on":[182],"a":[183,279],"fundamental":[184],"level,":[185],"one":[187],"system's":[188],"state":[189],"becoming":[190],"catalyst":[192],"change":[194],"within":[195,246],"other":[197],"system.":[198,261],"These":[199],"models":[201],"completed":[203],"subsequently":[205],"using":[207,222],"open-source":[209],"software":[210],"Ptolemy":[211],"II.":[212],"Upon":[213],"successfully":[214],"completing":[215],"interactions,":[217],"model":[219,237],"scrutinized":[221],"linear":[223],"temporal":[224],"logic":[225],"(LTL)":[226],"operators":[227,291],"test":[229],"veracity":[231],"projectability.":[233],"initial":[235],"EV/EVSE":[236],"altered":[240],"emphasize":[242],"previously":[243],"determined":[244],"in":[250,267],"order":[251],"existence":[255],"harming":[259],"Two":[262],"such":[263],"demonstrated":[266],"this":[268],"confirm":[271],"integrity":[272],"model,":[275],"which":[276],"will":[277],"be":[278],"valuable":[280],"asset":[281],"going":[282],"forward":[283],"ensure":[285],"future":[287],"consumers":[293],"regarding":[294],"interaction.":[298]},"counts_by_year":[],"updated_date":"2026-09-02T07:38:04.252551","created_date":"2021-03-29T00:00:00"}