Range Maximisation of Electric Vehicles through Active Cell Balancing using Reachability Analysis | IEEE Conference Publication | IEEE Xplore