Models for exchangable batteries