<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta>
      <journal-title-group>
        <journal-title>Workshop on Applications of Formal Methods and Digital Twins, March</journal-title>
      </journal-title-group>
    </journal-meta>
    <article-meta>
      <title-group>
        <article-title>A Digital Twin for Coupling Mobility and Energy Optimization: The ReNuBiL Living Lab</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Daniel Thoma</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Martin Sachenbacher</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Martin Leucker</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Aliyu Tanko Ali</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Institute for Software Engineering and Programming Languages, University of Lübeck</institution>
          ,
          <addr-line>Ratzeburger Allee 160, 23562, Lübeck</addr-line>
          ,
          <country country="DE">Germany</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2022</year>
      </pub-date>
      <volume>13</volume>
      <issue>2023</issue>
      <fpage>0000</fpage>
      <lpage>0002</lpage>
      <abstract>
        <p>This paper presents a use case in the energy domain showing the benefits of digital twins. More specifically, we study the problem of peak shaving, which aims for managing a micro power grid in such a way that the energy demanded from the surrounding global power grid does not exceed certain limits. We examine a living lab consisting of university buildings as power consumers and power bufers in forms of fixed installed batteries as well as power-to-grid capable electrical vehicles that are booked by users. We provide a formal model of the relevant aspects of the micro grid and show how an artificial intelligence based prediction established from historical data as well as suitable simulation and optimization algorithms help to improve peak shaving.</p>
      </abstract>
      <kwd-group>
        <kwd>eol&gt;peak shaving</kwd>
        <kwd>bi-directional charging</kwd>
        <kwd>car sharing</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>The ongoing transition to renewable and climate-neutral energy sources, such as wind and solar
power, means that the production of electrical energy becomes more volatile and fluctuating on
a daily and seasonal scale. This creates a need for technical solutions to intermediately store
electrical energy, and to better forecast energy supply, in order to meet the demand.</p>
      <p>However, technical solutions on the energy supply side alone will not be suficient; instead,
more flexibility on the consumption side and user participation will also be necessary. For
instance in Germany, the largest electricity market in Europe, the installation of smart meters
in private households will soon become mandatory and allow more consumers to shift load to
times when energy is more abundant. For particularly energy-intensive devices, such as heat
pumps or wallboxes for electric car charging, users get incentives if communication links allow
grid providers to switch them of temporarily 1.</p>
      <p>Besides the energy sector, the mobility sector is still a large source of climate gas emissions.
Battery-powered electric vehicles have the potential to reduce carbon emissions, if operated
with green electricity; the positive efects can be even greater in a car sharing context when
vehicles are shared among several users and thus the initial cost and carbon “backpack” of
battery production is faster amortized. In addition, during idle times when the vehicles are
parked and connected to the grid, their batteries can be used as bufers to store excess electricity
and feed it back to the grid during peak demand times. Such so-called vehicle-to-grid concepts
are now extensively studied in pilot projects [1, 2, 3] and corresponding norms to introduce
bi-directional charging in the automotive market have recently been rolled out [4].</p>
      <p>In this paper, we study a use case, on the campus of our university, that combines both
the mobility and energy domain. The scenario consists of a fleet of electric vehicles with
bi-directional charging capabilities and a stationary bufer battery, connected to a micro grid
with additional consumers (buildings on the campus). The cars can be booked by users for
trips, and the charging and discharging of the batteries (cars and stationary bufer) needs to be
managed in such a way that the range of the cars sufices for the trips, while the total power
demand of the micro grid should not exceed a given limit. The latter is called peak shaving and
is important for grid stability, but also for electricity costs: grid usage fees, which make up a
large proportion of the electricity costs, are based on the maximal power used in the billing
period (monthly or annually), even if this maximum is reached only for a short period of time2.</p>
      <p>It is easy in this scenario to devise a simple controller strategy that will, at each point in
time, try to stay within the power limit by immediately reducing the charging power and – if
this is not suficient and there is energy left in the batteries – feeding back energy from the
batteries into the grid. However, in our setting such a (myopic) controller might (depending on
the additional load of other consumers in the micro grid) render user bookings infeasible by
failing to charge the cars on time, or discharging them below the range required for upcoming
bookings.</p>
      <p>In the following, we present a formal model of this problem and propose a digital twin
[5] solution that uses AI-based load forecasting, simulation and optimization to intelligently
improve the balance between peak shaving and user’s mobility needs. In particular, the approach
will simulate the efect of bookings on the micro grid to assess new bookings requested by
users, while at the same time safeguarding already committed bookings such that the cars will
have enough range for the planned trips. The system has been prototypically implemented
and experiments have been conducted with carsharing users in a living lab on our university’s
campus.</p>
      <p>The rest of the paper is organized as follows: Section 2 presents the case study and our
living lab in more detail, and introduces a mathematical optimization model to describe the
problem formally. Section 3 describes our proposed digital twin solution on this model. Section
4 concludes with a discussion and directions for further work.
2This policy is typical for many energy providers, and also the case for our campus’ energy provider.</p>
    </sec>
    <sec id="sec-2">
      <title>2. Case study: The ReNuBiL living lab</title>
      <p>In the EU-funded research project ReNuBiL3 (living lab for user-oriented bi-directional charging),
an infrastructure for experimenting with vehicle-to-grid concepts in the context of
batterypowered electric vehicles shared among diferent users was set up on University of Lübeck’s
campus. It consists of (see also Figure 1):
• a Nissan LEAF passenger car with a battery capacity of 62kWh and approximate range of
385km
• a Nissan e-NV200 transporter with a battery capacity of 40kWh and approximate range
of 275km
• two EVTEC4 “cofee&amp;charge” bi-directional charging stations with 20kW power output
each
• an EVTEC “save&amp;charge” stationary (second-life) battery with a capacity of 24kWh
The vehicles are connected to the stations using CHAdeMo plugs (direct current) for charging
and discharging. The lab components come with an embedded software (EVTEC “barista”) that
can be used to control the charging and discharging power of the batteries (in the cars and the
container), provided that the vehicles are idle (i.e. not booked by customers for trips) and the
charging levels of the batteries are suficiently high. The lab infrastructure is set up next to the
largest lecture hall (Audimax) on the campus, and so the components are connected to the local
micro-grid of this building that is part of the overall campus’ power grid. Electricity meters
were installed to record the energy flows (charging and discharging power, battery charge levels,
etc.) in the lab and the adjacent Audimax building. Also, the vehicles themselves log data about
their current position and energy consumption. The data is collected periodically since January
2021 and stored in a time-series database.</p>
      <p>The vehicles can be booked by users via the project partner StattAuto5, who operates a fleet
of more than 200 cars in the region and has included the ReNuBiL vehicles in its car sharing
system so they can be booked by any of their customers.</p>
      <p>StattAuto’s current solution for safeguarding bookings is to leave a gap of three hours between
bookings, enough for the vehicles to fully recharge. Clearly, this is not optimal from the point
of view of the carsharing operator but also in terms of peak shaving.</p>
      <p>Problem Description. In our tackled setting, the cars are rented by customers and picked up
at and brought back to the charging stations. While customers are free to charge the cars during
a rental at third party stations, they are unlikely to do so except for very long trips. Although it
is technically possible to utilize the full charging power of the stations at all times, as outlined
above our aim is to stay below a power consumption limit (in our experiments of 45 kW) for the
micro-grid including the charging stations, the stationary battery and the Audimax building,
and avoid any peaks above this threshold.</p>
      <p>Batteries can be charged from the grid while simultaneously other batteries are discharged
into the grid. We therefore have a multilevel optimization problem: our highest priority is to
3http://www.renubil.de
4https://www.evtec.ch/
5https://www.stattauto-hl.de/
enable bookings we have already confirmed to users (safeguarding bookings). To this end, users
have to provide their requested range with each booking. Our second priority is to utilize both,
the bufer as well as the car batteries in order to avoid exceeding the power consumption limit
(peak shaving). Our third priority is to keep the cars available for short notice bookings, i.e.
keep the cars charged as much as possible.</p>
      <p>Formal Model. We first developed a formal model of our scenario as depicted in Fig. 2. The
model describes the charging and discharging behaviours of the batteries involved. We treat
both the car batteries as well as the stationary bufer battery equivalently as they difer only in
their ability to be booked by users. Parameters and variables are indexed by the battery id .
For each battery, the model has the following parameters: bookings is the set of associated
bookings comprising a start (1) and end time (2) and a required driving distance . batCharge
and disCharge assign a maximal charging or discharging power respectively to each level of
charge. These parameters allow us to model the power restrictions of the batteries (see also
[6, 7]). efficiency assigns an eficiency factor to a level of (dis-)charging power to model the
power loss during (dis-)charging. demand maps driving distance to energy demand and 
specifies the initial charge energy of the battery.</p>
      <p>The variables of our models are two functions: the charge energy of a battery by time energy
and the current (dis-)charge power of a battery by time power. The model only is defined in
terms of the energy stored in the batteries not the actual charge as the energy stored by charge
varies with voltage. Charging and discharging are distinguished by positive and negative power
values.</p>
      <p>Parameters
bookings ⊆ { (+1, 2, ) ∈ R0+ × R0+ × R0+ | 1 &lt; 2}
bbaattCDhisacrhgaerg:eR:0R→0+ →R R
efficiency : R0+ → [0, 1]
demand : R0+ → R</p>
      <p>+
 : R0
Variables
energy : R0+ → R0</p>
      <p>
        +
power : R0+ → R
Goal
 : (R → R) → R
m(in)im=iz∫e︀:0∞(mpaowx(e0r,)(() − limit())) 
Constraints
(
        <xref ref-type="bibr" rid="ref1">1</xref>
        ) (0) = 
(
        <xref ref-type="bibr" rid="ref2">2</xref>
        ) ∀(1, 2, ) ∈ bookings : energy(2) = energy(1) + demand()
(
        <xref ref-type="bibr" rid="ref3">3</xref>
        ) ∀(1, 2, ) ∈ bookings, 1 &lt;  &lt; 2 : energy() = 0
(
        <xref ref-type="bibr" rid="ref4">4</xref>
        ) ∀(1, 2) ∈ between(bookings), 1 &lt;  ≤ 2 : energy() = energy(1) + ∫︀1 efficiency(power()) power() 
(
        <xref ref-type="bibr" rid="ref5">5</xref>
        ) ∀(1, 2) ∈ between(bookings), 1 &lt;  ≤ 2 : batDischarge(energy()) ≤ power() ≤ batCharge(energy())
(
        <xref ref-type="bibr" rid="ref6">6</xref>
        ) ∀(1, 2, ) ∈ bookings : charge(1) ≥ demand()
(
        <xref ref-type="bibr" rid="ref7">7</xref>
        ) power() = ∑︀ power()
      </p>
      <p>
        The possible solutions for the power and energy functions are now defined by (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ) the initial
energy, (
        <xref ref-type="bibr" rid="ref2">2</xref>
        ) the consumption of required energy during bookings, (
        <xref ref-type="bibr" rid="ref3">3</xref>
        ) the inability to use car
batteries during bookings, (
        <xref ref-type="bibr" rid="ref4">4</xref>
        ) the charging/discharging according to the assigned power with
respective eficiency when batteries are available, (
        <xref ref-type="bibr" rid="ref5">5</xref>
        ) the power restrictions of the batteries and
(
        <xref ref-type="bibr" rid="ref6">6</xref>
        ) the requirement to provide the required energy for bookings before they start.
      </p>
      <p>
        Optimization goals can then be expressed as functions reducing the accumulative power
function power defined by (
        <xref ref-type="bibr" rid="ref7">7</xref>
        ). The optimization goal to minimize the excess of a power limit
can be expressed by the function  defined in Fig. 2. The limit there depends on time and
therefore can take the external power consumption into account.
      </p>
      <p>Charge Strategy. During operation of the charging station the (dis-)charging of the batteries
has to be constantly optimized according to the charging model and our optimization goals.
Solving the constraint model on the fly can be dificult to impossible especially considering the
non-linear behavior of battery constraints. We therefore designed a dedicated charge strategy
that achieves our goals comprising the following rules (stated here only informally due to lack
of space):
1. for each battery, if we need to start charging at full power in order to facilitate the next
(or a subsequent) booking, do so.
2. for each battery that remains, charge if we are below the limit, discharge, if we are above
the limit.</p>
      <p>3. prefer car batteries when charging, prefer bufer battery when discharging.
As our optimization goal is linear, i.e. exceeding the limit moderately for a long time is not
better than exceeding the limit excessively for a short time, rules 1. and 2. result in an optimal
strategy. Rule 3 deviates from that slightly to also optimize for availability for short notice
bookings.</p>
      <p>Booking Assessment. In contrast to other work such as [8], we are not considering a
scheduling problem here: bookings are not scheduled but have to be assessed and facilitated
when they are requested by the users. When a user wants to book a car, we provide him with a
rating of that booking based on the optimization goal. This rating is computed by simulating the
current bookings excluding and including the new booking according to the constraint model
and the charge strategy. We then take the diference between the values of the goal function, i.e.
the additional violation of the peak shaving power limit caused by adding the new booking. For
high ratings, i.e. bookings that would force us to violate the limit by a large amount, we ask the
user to consider changing his booking to a diferent time slot. The simulation incorporates a
prediction of the future external power consumption, which is either done directly on multiple
historical data traces or on a prediction generated by machine learning from these traces.</p>
    </sec>
    <sec id="sec-3">
      <title>3. Proposed Solution: Digital Twin Approach</title>
      <p>Our solution is based on the idea of a digital and a physical twin. The physical twin is constituted
by the cars, the charging station and the university grid. The digital twin is constituted by the
formal model of the charging station and car batteries, and the historical consumption data of
the university grid and the machine learning model based on that data.</p>
      <p>The physical charging station is controlled by the charging strategy designed above. The
strategy provides control outputs to the battery control units and receives measurements from
them as well as from the meters of the university grid. In addition, it receives minimal charge
requirements for the car batteries that have to be observed in order to facilitate the currently
confirmed bookings. These requirements are computed in the digital twin, i.e. the formal model
using a backward simulation of the charging process with maximal possible charging power.</p>
      <p>The second use case of the digital twin is the booking process: when requesting a booking,
the user is provided with a rating. This rating is calculated by simulating the charging strategy
over a prediction of the power consumption of the university grid. We support two prediction
schemes: generating example traces from a machine learning model using LSTM networks (see
[9] for according details) or directly using a set of historic traces. The rating presented to the
user is then based on the average additional violation of the power consumption limit caused
by the requested booking.
3.1. Simulation and Experiments
We have simulated our solution extensively using the setup described above. Let us explain
our approach using a typical simulation for three consecutive days Sunday 00:00h to Tuesday
24:00h of a typical week during the lecture period (week 2 of year 2023), as depicted in Fig. 3a.</p>
      <p>Let us first concentrate on the upper part of the diagram. The purple curve shows the actual
power consumption of the Audimax, our lecture hall acting as main consumer. We can see that
the power demand is around 25-25 kW during night time and above 45 kW during day time
with peaks up to 70 kW on work days. This curve serves as a prediction of the Audimax power
consumption for the simulated scenario.</p>
      <p>The red curve shows the simulated total power consumption that would arise from running
our charging strategy with one booking request for the LEAF with the given Audimax power
consumption. The considered booking request starts at 32 h with a duration of 5 h and requires
the complete battery capacity of 62 kWh.</p>
      <p>(a) violation 33 kWh
(b) violation 21 kWh</p>
      <p>(c) violation 0 kWh</p>
      <p>The anticipated limit of energy consumption is set to 45 kW as depicted by the grey horizontal
line. Whenever this limit is reached, the energy of the fixed installed batteries (bufer) and
those of the electric vehicles may be used to reduce the energy consumption from the global
grid. Whenever surplus power is available, the battery may be charged. We can observe this
behavior starting from 45 h. The energy levels of the batteries are depicted in the lower part
of the diagram, blue and cyan for the LEAF and the e-NV200, respectively, and green for the
bufer. As we can see, the system starts to charge the vehicle batteries as soon as surplus power
is available. As there is not enough power available to charge the bufer as well and vehicles are
prioritized, charging the bufer is delayed. Conversely, when the limit is reached at 54 h the
bufer is discharged first.</p>
      <p>Due to the booking, the LEAF is not available from 32 h to 37 h and is completely discharged
after the booking. As a consequence after 36 h the system is not able to maintain the power
limit and the total power starts to coincide with the Audimax power consumption until 45 h.
Note that the batteries have a discharge limit of 10 kWh to avoid deep discharge. The system
respects that limit but the vehicle batteries can be discharged further when driving.</p>
      <p>In this scenario the limit would be violated by 33 kWh which in this case is due to the single
booking. Fig. 3b depicts how the scenario would change if we were to move the booking to 46 h.
Here, we can observe how the system prioritizes bookings over the power limit. The system
manages to uphold the limit up to 46h, but due to the booking then has to switch to charging
the battery of the LEAF resulting in a large violation. Consequently, the violation in this sceario
is still 21 kWh.</p>
      <p>Fig. 3c shows how moving the booking to 19 h, the previous evening, allows the vehicle to
be charged over night, makes it available for power management during the day and avoids
overshooting the power limit completely. In total, we see that intelligent peak shaving works
out in many situations yet going beyond the limit could not be completely avoided by our
system.</p>
    </sec>
    <sec id="sec-4">
      <title>4. Discussion and Conclusion</title>
      <p>Future energy systems will need a tighter and more intelligent integration between diferent
sectors, in particular the sectors of mobility and electrical power. This includes comprehensive
sensor meter gathering, data-driven trend analysis and forecasting, and real-time mathematical
optimization of control parameters. Simultaneously, such systems must enable and support
more flexibility on the user side, allowing consumers to express their desires/needs and receive
relevant information that enables them to adjust their behavior accordingly, thus contributing
to overall stability and sustainability goals.</p>
      <p>In this paper, we presented an approach towards this goal in the setting of electric car sharing
and bi-directional charging. The batteries of the cars can feed back their energy into the local
micro grid, in order to limit the total power consumption (peak shaving). The users request to
book the vehicles at certain times and for certain desired ranges, such that they are not available
as bufers for peak shaving during these times and also need to be re-charged, creating further
load on the micro grid.</p>
      <p>Our approach uses a digital twin model to balance the two conflicting concerns of optimal
peak shaving and user mobility. The digital twin allows to simulate and assess user’s requests
(at query time) and give recommendations to adapt their behavior (by possibly shifting their
bookings to earlier or later times of the day). The user requests are typically issued several hours
or days ahead of the actual bookings and so the evaluation/planning is based on predictions
using historical data. In our setting, the objective to fulfill user’s bookings is prioritized over
the objective of peak shaving. Thus, during execution time, the digital twin model is used
to appropriately control charging and discharging (full-power charging to enable committed
bookings, vs. reduced-power charging and discharging to do peak shaving).</p>
      <p>As another partner in the ReNuBiL project, the Institute for Engineering Psychology6 studies
possible incentives to motivate users to adjust bookings and participate in peak shaving. Clearly
the system could also be further optimized if users would be asked (and convinced) to re-schedule
older, already committed bookings that turn out not to fit well with newer bookings. Due to the
involved user interaction via the car sharing provider, this has not been considered so far.</p>
      <p>Our current work includes the implementation of an alternative approach that uses constraint
optimization on the formal model to synthesize optimal strategies, instead of selecting between
pre-defined charge strategies (peak shaving and full-power charging). However, while this
allows more flexibility and accuracy, the computational cost is much higher. Furthermore, we
are trying to extend the machine learning approach to forecast not only the grid load, but also
bookings, which is inherently dificult as much fewer training data is available.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>F.</given-names>
            <surname>Mwasilu</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J. J.</given-names>
            <surname>Justo</surname>
          </string-name>
          , E.-K. Kim,
          <string-name>
            <given-names>T. D.</given-names>
            <surname>Do</surname>
          </string-name>
          , J.-W. Jung,
          <article-title>Electric vehicles and smart grid interaction: A review on vehicle to grid and renewable energy sources integration</article-title>
          ,
          <source>Renewable and sustainable energy reviews 34</source>
          (
          <year>2014</year>
          )
          <fpage>501</fpage>
          -
          <lpage>516</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>G.</given-names>
            <surname>Van Kriekinge</surname>
          </string-name>
          ,
          <string-name>
            <surname>C. De Cauwer</surname>
            ,
            <given-names>N.</given-names>
          </string-name>
          <string-name>
            <surname>Sapountzoglou</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          <string-name>
            <surname>Coosemans</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          <string-name>
            <surname>Messagie</surname>
          </string-name>
          ,
          <article-title>Peak shaving and cost minimization using model predictive control for uni-and bi-directional charging of electric vehicles</article-title>
          ,
          <source>Energy Reports</source>
          <volume>7</volume>
          (
          <year>2021</year>
          )
          <fpage>8760</fpage>
          -
          <lpage>8771</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>B.</given-names>
            <surname>Tepe</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Figgener</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Englberger</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D. U.</given-names>
            <surname>Sauer</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Jossen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Hesse</surname>
          </string-name>
          ,
          <article-title>Optimal pool composition of commercial electric vehicles in v2g fleet operation of various electricity markets</article-title>
          ,
          <source>Applied Energy</source>
          <volume>308</volume>
          (
          <year>2022</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          <source>[4] ISO 15118-1</source>
          :
          <year>2019</year>
          ,
          <article-title>ISO 15118-1:2019 Road vehicles - Vehicle to grid communication interface - Part 1: General information and use-case definition</article-title>
          , Standard, International Organization for Standardization,
          <year>2019</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>H.</given-names>
            <surname>Feng</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Gomes</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Thule</surname>
          </string-name>
          ,
          <string-name>
            <given-names>K.</given-names>
            <surname>Lausdahl</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Iosifidis</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P. G.</given-names>
            <surname>Larsen</surname>
          </string-name>
          ,
          <article-title>Introduction to digital twin engineering</article-title>
          , in: 2021
          <source>Annual Modeling and Simulation Conference (ANNSIM)</source>
          , IEEE,
          <year>2021</year>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>12</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>W.</given-names>
            <surname>Weydanz</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Jossen</surname>
          </string-name>
          ,
          <article-title>Moderne Akkumulatoren richtig einsetzen (in German)</article-title>
          , Reichardt Verlag,
          <year>2006</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>G. L.</given-names>
            <surname>Plett</surname>
          </string-name>
          ,
          <source>Battery Management Systems</source>
          , volume
          <volume>1</volume>
          ,
          <string-name>
            <given-names>Artech</given-names>
            <surname>House</surname>
          </string-name>
          Power Engineering and Power Electronics,
          <year>2015</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>P. S.</given-names>
            <surname>Klein</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Schifer</surname>
          </string-name>
          ,
          <article-title>Electric vehicle charge scheduling with flexible service operations</article-title>
          ,
          <year>2022</year>
          . URL: https://arxiv.org/abs/2201.03972. doi:
          <volume>10</volume>
          .48550/ARXIV.2201.03972.
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>C.</given-names>
            <surname>Walther</surname>
          </string-name>
          ,
          <article-title>Machine Learning for Time Series Prediction of Energy Data, Master's thesis, Institute for Software Engineering and Programming Languages of</article-title>
          the University of Lübeck, Germany,
          <year>2021</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>