Formal methods approach to the charging facility location problem for battery electric vehicles

Matthew J. Eagon, William F. Northrop

Research output: Contribution to conferencePaperpeer-review

2 Scopus citations


Battery electric vehicles (BEVs) are becoming more prevalent as improvements in battery technology and energy management continue to be made. As the number of electric vehicles grows, the demand for fast-charging stations is expected to increase dramatically. Thus, building new charging station infrastructure efficiently will be key to reducing upfront costs while meeting consumer demands. In this work, we propose a method for choosing a set of charging station locations that are optimized based on a set of given common vehicle demand points. As part of this solution, we also offer a novel abstraction of the road network on which energy-efficient paths that account for charge-time delays may be found. The current algorithm chooses the optimal charging locations for a single agent which has a route objective specified using temporal logic. To demonstrate the proposed method, the running example shows how a charging station could be chosen for an electric delivery vehicle. Simulations were run on sample road networks with a given set of demand points to service and potential charging station locations to compare. The method is shown to successfully rank potential charging stations in terms of their expected average charging time cost.

Original languageEnglish (US)
Number of pages8
StatePublished - 2020
Event31st IEEE Intelligent Vehicles Symposium, IV 2020 - Virtual, Las Vegas, United States
Duration: Oct 19 2020Nov 13 2020


Conference31st IEEE Intelligent Vehicles Symposium, IV 2020
Country/TerritoryUnited States
CityVirtual, Las Vegas

Bibliographical note

Publisher Copyright:
© 2020 IEEE.


  • BEV
  • charger placement
  • connected vehicles


Dive into the research topics of 'Formal methods approach to the charging facility location problem for battery electric vehicles'. Together they form a unique fingerprint.

Cite this