Formal methods approach to the charging facility location problem for battery electric vehicles.
Matthew J. EagonWilliam F. NorthropPublished 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