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

Matthew J. Eagon William F. Northrop

Published in: IV (2020)

Keyphrases

electric vehicles
formal methods
facility location problem
facility location
approximation algorithms

energy management
energy supply
intelligent control
model checking
knowledge based systems

artificial intelligence
formal specification
software engineering
power system
renewable energy

smart grid
np hard
network design
lagrangian relaxation
special case