<!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 />
    <article-meta>
      <title-group>
        <article-title>A Mechanism Design Approach for Energy Allocation</article-title>
      </title-group>
      <contrib-group>
        <aff id="aff0">
          <label>0</label>
          <institution>University of Camerino, School of Science and Technology, Computer Science Division</institution>
          ,
          <country country="IT">Italy</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>In this work we deploy a mechanism design approach for allocating a divisible commodity (electricity in our example) among consumers. We consider to have an energy availability function and for each consumer an associated personal valuation function of the energy resource during a certain time interval. We aim to select the optimal consumption pro le for every user avoiding consumption peaks when the total required energy could exceed the energy production. Initially, we apply a Vickrey-Clarke-Groves (VCG) mechanism, we show its properties and we discuss its weakness. Then, we describe our future works, developing a mechanism with veri cation. Our aim is to guarantee the maximization of social welfare (e ciency) and satisfy the budget balance property (the distributor's income must remain stable). So, we evaluate to de ne a cost-sharing mechanism in which for each tick of time if we exceed the amount of available energy the cost of exceeding energy provided by the distributor will be shared among users, deploying the Shapley value.</p>
      </abstract>
      <kwd-group>
        <kwd>mechanism design</kwd>
        <kwd>resource allocation</kwd>
        <kwd>energy e ciency</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>
        In this work, we face a problem that involves a community of users and a set
of resources: the energy. The issue deals with the management of users'
consumption according to the amount of available energy. There are several reasons
for managing energy, rst of all avoiding blackouts. A blackout could occur in
situations in which the produced energy is not enough to satisfy users' energy
demand and it causes a huge loss of money and security risks of the
electricitybased systems [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]. Moreover, in a renewable world, energy production change
day by day consequently we have to adequate energy requests. The European
Commission itself nances projects in which users are stimulated to behave in an
energy-aware manner according to energy saving targets (20% cut in greenhouse
gas emissions, Targets 2020 [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]). Our main objective is to select the users'
consumption amount in order to optimize and not to waste the produced energy.
So, we are facing an energy management problem, also know as demand side
management (DSM) problem or also divisible commodities allocation[
        <xref ref-type="bibr" rid="ref5">5</xref>
        ].
Fig. 1 describes a possible case for one-day time period with trends for the energy
functions. The dashed line represents the distributor's available energy, the
continuous line the energy requested from all consumers. The lines on the bottom
represent the single consumption of every user ( ve users in this case).
We selected the subject of Mechanism Design [
        <xref ref-type="bibr" rid="ref10 ref12 ref16 ref8">10,12,16,8</xref>
        ], because it is able to
in uence users' actions by de ning a game. This game is essentially composed by
a user's valuation function (own utility), a social choice function (social welfare)
and a payment scheme.
      </p>
      <p>De nition 1 (Player's Valuation Function) Let us consider a set of
players N = f1; : : : ; ng and a set of alternatives or outcomes A. Every player i has a
preference over alternatives that is described by a valuation function: vi : A ! R,
where vi(a) denotes the valuation that player i assigns to outcome a.
Furthermore, vi 2 Vi where Vi RjAj is a set of possible valuation functions for player
i.</p>
      <p>De nition 2 (Social Choice Function) The social choice function selects an
alternative (or outcome) from the set of alternatives A according to the vector
of users' valuation functions: f : V1 Vn ! A. So, an outcome a, from
the set A of alternatives, depends on each possible pro le v = (v1; v2; : : : ; vn):
a = f (v). This outcome is called social choice for that pro le.</p>
      <p>When considering a mechanism with money, that is a mechanism where there
are money transfers between the mechanism and players, a payment function
computes money transfers for every players.</p>
      <p>De nition 3 (VCG Mechanism with Clarke Pivot Rule) A VCG
mechanism determines f (v) that is the social choice function with A as the possible
outcomes, such that:
f (v) 2 argmaxb2A Pn
j=1 vj (b);
3</p>
    </sec>
    <sec id="sec-2">
      <title>Model Description</title>
      <p>
        An approach close to our work is[
        <xref ref-type="bibr" rid="ref14">14</xref>
        ], and its related previous work [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ]. They
encourage e cient energy consumption among users with a VCG mechanism.
In our previous work [
        <xref ref-type="bibr" rid="ref1 ref2">2,1</xref>
        ], we deploy a mechanism design approach for allocating
a divisible commodity (electricity in our example) among consumers. We aim
to select the optimal consumption pro le for every user avoiding consumption
peaks driving users in shifting energy consumptions in di erent hours of the day.
Case 1 In this mechanism we have a set of possible outcomes A f0; 1gn
where the value a[i] = 0 represents that the speci c user i does not consume, the
opposite for the value a[i] = 1 if the user consumes. We consider the consumption
of every consumer with a threshold value represented by the amount of produced
energy. Indeed, we consider the available energy function as a parameter that
in uences the possible outcome. In fact, we do not consider all the possible
elements of the vector A f0; 1gn but A = fa : Pjn xj a[j] P g, where P is
the energy available and xi is the desired consumption of player i. In this case,
every user has the valuation function vi(a) = xi a[i].
      </p>
      <p>Suppose that the total users' consumption is less or equal than produced energy,
we have that the social choice function will select the outcome maximizing the
sum of valuations.</p>
      <p>Case 2 In this second case, we propose a mechanism that assigns to users all
the available energy till reaching the total amount of produced energy.
Considering a scenario with n players, we have always a set of possible outcomes
A [0; xi]n where xi is the desired consumption of user i. As in the case in
Section 3, we do not consider all the possible elements of A but A = fa :
Pjn a[j] P g and P is the energy available. In this way, the distributor can
provide an arbitrary amount of energy to user i where the maximum xi is the
i's optimal consumption. The valuation function of user i is: vi(a) = a[i].
Case 3 We start from the mechanism described in Section 3. But, the main
di erence is that in this fourth case we take into account also the time t. Formally,
we introduce a time variable: t 2 [0; T ], where T is the maximum length.
Considering a scenario with n players, we have that a possible outcome is a =
(a1(t); : : : ; an(t)) where ai(t) 2 R+ for every t 2 [0; T ] and where xi : [0; T ] ! R
is the desired consumption function of user i over time t. The function ai(t)
represents the assigned power to user i for every tick t, in the same way the
function P (t) is the function of available power for every tick t, where the energy
is the power per unit time.</p>
      <p>The valuation function is:
vi(a) =
( ai(t)
xi(t)
if ai(t) xi(t)
if ai(t) &gt; xi(t)
representing the total amount of energy received by the i-th customer once the
excess energy has been discarded.
4</p>
    </sec>
    <sec id="sec-3">
      <title>Ongoing and Future Work</title>
      <p>
        In the last period, we applied a VCG mechanism for the DSM problem. We
propose several con gurations of the mechanism, starting from the simplest one
to a more complicated con guration which has the property of assigning the
available energy to users according to their desired energy minimizing the
energy wasting while maximizing the aggregate utility of all users. A mechanism
is composed of a social choice function and a payment scheme. In this case we
use the VCG payment scheme but in this way users will not pay according to
the amount of energy assigned to them but they pay a di erent amount with
respect to their energy consumption. For this reason, we decided to study
different solutions where the payment will be more related to the energy used.
Considering that this social choice process depends on the information collected
from agents, they may nd it convenient to misreport their preferences. For this
reason, the VCG mechanism is used in a context in which the \truthfulness"
is a basic aspect, in fact the dominant strategy for a user is to declare his real
preferences. On our speci c case, we do not have to deal with truth or lies but
the concept of truth is represented by the concept of \consume according to
the available energy" and the lie by the concept of \consume when there is no
available energy". So, the punishment comes when a user consume too much
and the consumption is greater than the available energy. Thus, we want to
develop a mechanism with veri cation. In fact, in this context of fair allocations of
goods with monetary compensation is possible to focus on agents' declarations
on allocated goods that can be veri ed before payments are performed. But, the
veri er could evaluate only what it has already happened. First of all we allocate
the goods then the mechanism control if users have behaved as they had said.
Then, we deploy the Compensation and Bonus Mechanism [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ] that concerns
an optimal allocation algorithm with a payment function in which the payment
function is sum of two terms: compensation and bonus. The compensation
function is a monetary compensation considering actual types veri ed. While, the
bonus function is calculated according to the declarations of the other agents
and the actual times that the agent performed its assignments in. Furthermore,
it is proved that the Compensation and Bonus mechanism is strongly truthful
[
        <xref ref-type="bibr" rid="ref11">11</xref>
        ]. So, in this mechanism punishments are used to enforce truthfulness but in
this case fairness is not guaranteed.
      </p>
      <p>Our aim is to guide users to a energy-aware behaviour not to encourage users to
tell the truth. Furthermore, we must de ne a fair allocation of resources with a
di erent payment scheme that makes it convenient to consume where the energy
is su cient. The nal objectives of our mechanism will rst of all to guarantees
the maximization of social welfare (e ciency) and satis es the budget balance
property (the distributor's income must remain stable).</p>
      <p>
        These characteristics could be reached by the de nition of a cost-sharing
mechanism in which for each tick of time if we exceed the amount of available energy
the cost of exceeding energy provided by the distributor will be shared among
users. This cost division could be calculated by the Shapley value [
        <xref ref-type="bibr" rid="ref17">17</xref>
        ]. The
Shapley value includes several properties. The most important ones are fairness,
ensuring that every user gets or is not damaged more that another one, and
budget-balance, guaranteeing that there is no transfer of money out or into the
scenario or in other words, mechanisms cannot run into de cit.
      </p>
      <p>The mechanism will be subsequently tested by a multi-agent system, this
framework will take into account also users' types (riches and poors, waster and
environmentalist,...) starting from a set of real consumption data.</p>
      <p>
        After the simulation phase, we will evaluate the existence of di erent kind of
equilibria. It was showed that determining whether a game has a pure Nash
Equilibrium is NP-hard [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]. However, it is still possible to bring hypothesis on
the existence of di erent equilibria. As nal step, we can work to minimize
resulting costs for the energy with a user tax method that will in uence users in
acting in a convenient way considering the available energy function.
An important aspect to take into account is that all users involved are not of
the same type or have identical preferences. In fact, in real-world scenarios we
have to deal with heterogeneous agents that have di erent perception of energy
e ciency, di erent lifestyles and di erent economic possibilities. In [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ] there is a
signi cant study of patterns of domestic electricity consumption. It evaluates a
direct correlation between the amount of energy consumed and the user's
wellbeing. Furthermore in [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ], authors deploy evolutionary computing methods for
auction designs extended by using heterogeneous trading agents. In this work,
they review the method of using genetic algorithms for designing market
mechanism with two di erent kind of arti cial agents.
      </p>
      <p>
        Until now, we assume to deal with fully rational agents but sometimes agents
decide their strategy according to their moral or ethical beliefs. Considering this
concept, the mechanism becomes quite di cult regarding the incentive
compatibility. In the literature, we can nd several papers that considering this aspect
explain the concept of robustness of an incentive mechanism. As in [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ], authors
evaluate the robustness, de ned as the maximum percentage of irrational agents
existing in the system while it is still better o for rational agents to perform
desired strategies. They provide a simulation framework for incentive mechanisms
that calculates this robustness threshold.
      </p>
      <p>So, the main di culties are that we want to handle a community of
heterogeneous users and according to their belief also irrational. Irrational in the sense
that for instance a rich user is not interested in saving a small amount of money,
he prefers to have a slightly greater level of comfort.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <given-names>S.</given-names>
            <surname>Bistarelli</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Culmone</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Giuliodori</surname>
          </string-name>
          , and
          <string-name>
            <given-names>S.</given-names>
            <surname>Mugnoz</surname>
          </string-name>
          .
          <article-title>Mechanism Design Approach for Energy E ciency</article-title>
          . ArXiv e-prints,
          <source>Aug</source>
          .
          <year>2016</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <given-names>S.</given-names>
            <surname>Bistarelli</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Culmone</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Giuliodori</surname>
          </string-name>
          , and
          <string-name>
            <given-names>S.</given-names>
            <surname>Mugnoz</surname>
          </string-name>
          .
          <article-title>Mechanism design for allocation of divisible goods</article-title>
          .
          <source>In Proceedings of 17th Italian Conference on Theoretical Computer Science (ICTCS</source>
          <year>2016</year>
          ).
          <source>CEUR Workshop Procedings</source>
          ,
          <year>2016</year>
          . to appear.
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3. C. Bohringer,
          <string-name>
            <given-names>T. F.</given-names>
            <surname>Rutherford</surname>
          </string-name>
          , and
          <string-name>
            <given-names>R. S.</given-names>
            <surname>Tol</surname>
          </string-name>
          . The eu
          <volume>20</volume>
          /20/2020 targets:
          <article-title>An overview of the emf22 assessment</article-title>
          .
          <source>ESRI working paper 325</source>
          , Dublin,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <given-names>M.</given-names>
            <surname>Bruch</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Mnch</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Aichinger</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Kuhn</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Weymann</surname>
          </string-name>
          , and
          <string-name>
            <given-names>G.</given-names>
            <surname>Schmid. Power Blackout</surname>
          </string-name>
          <article-title>Risks</article-title>
          .
          <source>Technical report, Allianz</source>
          , 11
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <given-names>C.</given-names>
            <surname>Gellings</surname>
          </string-name>
          .
          <article-title>The concept of demand-side management for electric utilities</article-title>
          .
          <source>Proceedings of the IEEE</source>
          ,
          <volume>73</volume>
          (
          <issue>10</issue>
          ):
          <volume>1468</volume>
          {
          <fpage>1470</fpage>
          ,
          <string-name>
            <surname>Oct</surname>
          </string-name>
          .
          <year>1985</year>
          . ISSN:
          <fpage>0018</fpage>
          -
          <lpage>9219</lpage>
          , DOI:10.1109/PROC.
          <year>1985</year>
          .
          <volume>13318</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <given-names>S.</given-names>
            <surname>Ghaemi</surname>
          </string-name>
          and
          <string-name>
            <surname>G. Brauner.</surname>
          </string-name>
          <article-title>User behavior and patterns of electricity use for energy saving</article-title>
          .
          <source>Internationale Energiewirtschaftstagung an der TU Wien, IEWT</source>
          ,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <given-names>G.</given-names>
            <surname>Gottlob</surname>
          </string-name>
          , G. Greco, and
          <string-name>
            <given-names>F.</given-names>
            <surname>Scarcello</surname>
          </string-name>
          .
          <article-title>Pure nash equilibria: Hard and easy games</article-title>
          .
          <source>Journal of Arti cial Intelligence Research (JAIR)</source>
          ,
          <volume>24</volume>
          :
          <fpage>357</fpage>
          {
          <fpage>406</fpage>
          ,
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <given-names>M. O.</given-names>
            <surname>Jackson</surname>
          </string-name>
          .
          <article-title>Mechanism theory</article-title>
          . In U. Derigs, editor,
          <source>EOLSS The Encyclopedia of Life Support Systems. EOLSS Publishers: Oxford UK</source>
          ,
          <year>2003</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <given-names>Y.</given-names>
            <surname>Liu</surname>
          </string-name>
          and
          <string-name>
            <surname>J. Zhang.</surname>
          </string-name>
          <article-title>Robustness evaluation of incentive mechanisms</article-title>
          .
          <source>In Proceedings of the 2013 International Conference on Autonomous Agents and Multi-agent Systems, AAMAS '13</source>
          , pages
          <fpage>1293</fpage>
          {
          <fpage>1294</fpage>
          ,
          <string-name>
            <surname>Richland</surname>
            ,
            <given-names>SC</given-names>
          </string-name>
          ,
          <year>2013</year>
          . International Foundation for Autonomous Agents and
          <string-name>
            <given-names>Multiagent</given-names>
            <surname>Systems</surname>
          </string-name>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <given-names>Y.</given-names>
            <surname>Narahari</surname>
          </string-name>
          .
          <source>Game Theory and Mechanism Design</source>
          , chapter
          <volume>14</volume>
          . World Scienti c Publishing Company Pte. Limited,
          <year>2014</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <given-names>N.</given-names>
            <surname>Nisan</surname>
          </string-name>
          and
          <string-name>
            <given-names>A.</given-names>
            <surname>Ronen</surname>
          </string-name>
          .
          <article-title>Algorithmic mechanism design (extended abstract)</article-title>
          .
          <source>In Proceedings of the Thirty- rst Annual ACM Symposium on Theory of Computing</source>
          , STOC '
          <volume>99</volume>
          , pages
          <fpage>129</fpage>
          {
          <fpage>140</fpage>
          , New York, NY, USA,
          <year>1999</year>
          . ACM.
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <given-names>N.</given-names>
            <surname>Nisan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.</given-names>
            <surname>Roughgarden</surname>
          </string-name>
          , E. Tardos, and
          <string-name>
            <given-names>V. V.</given-names>
            <surname>Vazirani</surname>
          </string-name>
          .
          <source>Algorithmic Game Theory, chapter 9</source>
          . Cambridge University Press,
          <year>2007</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <given-names>Z.</given-names>
            <surname>Qin</surname>
          </string-name>
          .
          <article-title>Market mechanism designs with heterogeneous trading agents</article-title>
          .
          <source>2006 International Conference on Machine Learning and Applications</source>
          , pages
          <volume>69</volume>
          {
          <fpage>76</fpage>
          ,
          <year>2006</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <given-names>P.</given-names>
            <surname>Samadi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Mohsenian-Rad</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Schober</surname>
          </string-name>
          , and
          <string-name>
            <given-names>V. W. S.</given-names>
            <surname>Wong</surname>
          </string-name>
          .
          <article-title>Advanced demand side management for the future smart grid using mechanism design</article-title>
          .
          <source>IEEE Transactions on Smart Grid</source>
          ,
          <volume>3</volume>
          (
          <issue>3</issue>
          ):
          <volume>1170</volume>
          {
          <fpage>1180</fpage>
          ,
          <string-name>
            <surname>Sept</surname>
          </string-name>
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15.
          <string-name>
            <given-names>P.</given-names>
            <surname>Samadi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Schober</surname>
          </string-name>
          , and
          <string-name>
            <given-names>V. W. S.</given-names>
            <surname>Wong</surname>
          </string-name>
          .
          <article-title>Optimal energy consumption scheduling using mechanism design for the future smart grid</article-title>
          .
          <source>In SmartGridComm</source>
          , pages
          <volume>369</volume>
          {
          <fpage>374</fpage>
          . IEEE,
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          16.
          <string-name>
            <given-names>Y.</given-names>
            <surname>Shoham</surname>
          </string-name>
          and
          <string-name>
            <given-names>K.</given-names>
            <surname>Leyton-Brown</surname>
          </string-name>
          . Multiagent Systems: Algorithmic, GameTheoretic, and Logical Foundations, chapter
          <volume>10</volume>
          . Cambridge University Press, New York, NY, USA,
          <year>2008</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          17.
          <string-name>
            <surname>E. Winter.</surname>
          </string-name>
          <article-title>The shapley value</article-title>
          . In R. Aumann and S. Hart, editors,
          <source>Handbook of Game Theory with Economic Applications</source>
          , volume
          <volume>3</volume>
          , chapter
          <volume>53</volume>
          , pages
          <year>2025</year>
          {
          <year>2054</year>
          . Elsevier,
          <volume>1</volume>
          <fpage>edition</fpage>
          ,
          <year>2002</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>