Dissertation/Thesis Abstract

Cyber Physical System Modeling of Smart Charging Process
by Langschwager, Matthew T., M.S., University of Louisiana at Lafayette, 2018, 98; 13420593
Abstract (Summary)

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.

Indexing (document details)
Advisor: Gottumukkala, Raju
Commitee: Chambers, Terrence, Darby, Paul, Jiang, Lulin, Yin, Peng
School: University of Louisiana at Lafayette
Department: Mechanical Engineering
School Location: United States -- Louisiana
Source: MAI 58/05M(E), Masters Abstracts International
Source Type: DISSERTATION
Subjects: Computer Engineering, Automotive engineering, Energy
Keywords: Charging station (evse), Cyber-physical systems (cps), Electric vehicle (ev), Linear temporal logic (ltl), Smart charging, Verification
Publication Number: 13420593
ISBN: 978-1-392-04228-1
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest