Meeting growing demand for automotive battery resources is predicted to be costly from both economic and environmental perspectives. To minimize these costs, battery resources should be deployed as efficiently as possible. A potential source of inefficiency in battery deployment is the fact that the batteries of personal vehicles are typically much larger than needed to meet most daily mobility needs. In this paper, we consider whether battery resources can be used more efficiently in a setting where drivers, in addition to having personal vehicle batteries, have access to a shared battery resource. More precisely, we consider the problem of minimizing aggregate battery capacity in settings with and without a shared resource subject to the requirement that driver commuting needs are met with high reliability. To assess the potential for reductions in deployed battery capacity with the addition of a shared resource, we quantify the difference in deployed battery capacity with and without a shared resource in case study using real-world longitudinal mobility data from Puget Sound, Washington. We find that giving drivers access to a shared battery resource can substantially reduces deployed battery capacity. Furthermore, relative reductions in battery capacity increase with number of drivers and the level of reliability desired.
Consider an allocation rule f = (f_i)_{i=1}^N, where f_i: \mathbb{R}^N \times \mathbb{R}^N \times \mathbb{R} \to \mathbb{R}_+. We call f shortfall-minimizing if it satisfies the following property:
For any shortfall-minimizing allocation rule, any feasible solution to Problem (?) is feasible for Problem (?).
We will write \mathcal{E} := \left\{ \sum_{i} (\xi_i - x_i)_+ \leq s \right\} and \mathcal{E}_{i} := \left\{ x_i + f_{i}(\bm{x}, \bm{\xi}, s) \geq \xi_i \right\} for brevity. We have
using (C.1) in (Proof) to deduce that the conditional probability \ifx\\\\ \mathrm{Pr} \left( \mathcal{E}_{i} \mid \mathcal{E} \right) \else \mathrm{Pr}_{} \left( \mathcal{E}_{i} \mid \mathcal{E} \right) \fi = 1. Since \alpha \geq \alpha_i and the choice of index i was arbitrary, the desired claim follows.
The text on this page is from arXiv:2304.10461v2 by Polina Alexeenko and Vasileios Charisopoulos, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/2304/2304.10461.jsonl.