This research presents cyber-physical systems (CPS) modeling of the smart charging process to both identify and analyze potential vulnerabilities that may exist during the interaction and integration between an Electric Vehicle (EV) and the Electric Vehicle Service Equipment (EVSE). As EVSEs are increasingly being integrated into building energy management systems and interfaced with electric vehicles, safe and secure integration of these systems is of paramount importance for the safety and security of the nation's critical infrastructure and people. Both the charging station and electric vehicles have electro-mechanical components built from 3rd party providers, and there is no mechanism to check for safe and secure integration of EVs and EVSEs. The overall goal of the proposed research is to apply formal methods to verify and validate the cyber-physical interactions between the EV and EVSE to gain insight into vulnerable system states and their impacts. To that end, each component (EV and EVSE) was considered its own cyber-physical system and then separately broken down into individual states of operation. The states of each system were compared to determine how the EV and EVSE interacted on a fundamental level, with one system's state becoming the catalyst for change within the other system. These individual models were completed and subsequently integrated using the open-source software Ptolemy II. Upon successfully completing the interactions, the model was scrutinized using linear temporal logic (LTL) operators to test its veracity and projectability. The initial EV/EVSE model was then altered to emphasize previously determined vulnerabilities within the integrated system in order to verify their existence and potential for harming the system. Two such vulnerabilities were demonstrated in this research to confirm integrity of the model, which will be a valuable asset going forward to ensure the future safety of both operators and consumers regarding EV and EVSE interaction.
|Commitee:||Chambers, Terrence, Darby, Paul, Jiang, Lulin, Yin, Peng|
|School:||University of Louisiana at Lafayette|
|School Location:||United States -- Louisiana|
|Source:||MAI 58/05M(E), Masters Abstracts International|
|Subjects:||Computer Engineering, Automotive engineering, Energy|
|Keywords:||Charging station (evse), Cyber-physical systems (cps), Electric vehicle (ev), Linear temporal logic (ltl), Smart charging, Verification|
Copyright in each Dissertation and Thesis is retained by the author. All Rights Reserved
The supplemental file or files you are about to download were provided to ProQuest by the author as part of a
dissertation or thesis. The supplemental files are provided "AS IS" without warranty. ProQuest is not responsible for the
content, format or impact on the supplemental file(s) on our system. in some cases, the file type may be unknown or
may be a .exe file. We recommend caution as you open such files.
Copyright of the original materials contained in the supplemental file is retained by the author and your access to the
supplemental files is subject to the ProQuest Terms and Conditions of use.
Depending on the size of the file(s) you are downloading, the system may take some time to download them. Please be