Smart Buildings in the Smart Grid: Contract-Based Design of an Integrated Energy Management System
Mehdi Maasoumy, Pierluigi Nuzzo, Baihong Jin, Alberto Sangiovanni-Vincentelli

Citation
Mehdi Maasoumy, Pierluigi Nuzzo, Baihong Jin, Alberto Sangiovanni-Vincentelli. "Smart Buildings in the Smart Grid: Contract-Based Design of an Integrated Energy Management System". 2014 TerraSwarm Annual Meeting, October 2014; Poster presented at the 2014 TerraSwarm Annual Meeting.

Abstract
In a supply-following “smart” grid scenario, buildings can exploit remotely controllable thermostats and “smart” meters to communicate with energy providers, trade energy in real-time and offer frequency regulation services, by leveraging the flexibility in the energy consumption of their heating, ventilation and air conditioning (HVAC) systems. The realization of such a scenario is, however, strongly dependent on our ability to radically re-think the way both the grid and the building control algorithms are designed. In this work, we regard the grid as an integrated, distributed, cyber-physical system, and propose a compositional framework for the deployment of an optimal supply-following strategy.We use the concept of assume-guarantee contracts to formalize the requirements of the grid and the building subsystem as well as their interface. At the building level, such formalization leads to the development of an optimal control mechanism to determine the HVAC energy flexibility while maximizing the monetary incentive for it. At the grid level, it allows formulating a model predictive control scheme to optimally control the ancillary service power flow from buildings, while integrating constraints such as ramping rates of ancillary service providers, maximum available ancillary power, and load forecast information. Simulation results illustrate the effectiveness of the proposed design methodology and the improvements brought by the proposed control strategy with respect to the state of the art.

Electronic downloads

Internal. This publication has been marked by the author for TerraSwarm-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  Mehdi Maasoumy, Pierluigi Nuzzo, Baihong Jin, Alberto
  Sangiovanni-Vincentelli. <a
  href="http://www.terraswarm.org/pubs/409.html">Smart
  Buildings in the Smart Grid: Contract-Based Design of an
  Integrated Energy Management System</a>, <i>2014
  TerraSwarm Annual Meeting</i>, October 2014; Poster
  presented at the <a
  href="http://www.terraswarm.org/conferences/14/annual"
  >2014 TerraSwarm Annual Meeting</a>.

• Plain text

  Mehdi Maasoumy, Pierluigi Nuzzo, Baihong Jin, Alberto
  Sangiovanni-Vincentelli. "Smart Buildings in the Smart
  Grid: Contract-Based Design of an Integrated Energy
  Management System". <i>2014 TerraSwarm Annual
  Meeting</i>, October 2014; Poster presented at the
  <a
  href="http://www.terraswarm.org/conferences/14/annual"
  >2014 TerraSwarm Annual Meeting</a>.

• BibTeX

  @article{MaasoumyNuzzoJinSangiovanniVincentelli14_SmartBuildingsInSmartGridContractBasedDesignOfIntegrated,
      author = {Mehdi Maasoumy and Pierluigi Nuzzo and Baihong Jin
                and Alberto Sangiovanni-Vincentelli},
      title = {Smart Buildings in the Smart Grid: Contract-Based
                Design of an Integrated Energy Management System},
      journal = {2014 TerraSwarm Annual Meeting},
      month = {October},
      year = {2014},
      note = {Poster presented at the <a
                href="http://www.terraswarm.org/conferences/14/annual"
                >2014 TerraSwarm Annual Meeting</a>.},
      abstract = {In a supply-following �smart� grid scenario,
                buildings can exploit remotely controllable
                thermostats and �smart� meters to communicate
                with energy providers, trade energy in real-time
                and offer frequency regulation services, by
                leveraging the flexibility in the energy
                consumption of their heating, ventilation and air
                conditioning (HVAC) systems. The realization of
                such a scenario is, however, strongly dependent on
                our ability to radically re-think the way both the
                grid and the building control algorithms are
                designed. In this work, we regard the grid as an
                integrated, distributed, cyber-physical system,
                and propose a compositional framework for the
                deployment of an optimal supply-following
                strategy.We use the concept of assume-guarantee
                contracts to formalize the requirements of the
                grid and the building subsystem as well as their
                interface. At the building level, such
                formalization leads to the development of an
                optimal control mechanism to determine the HVAC
                energy flexibility while maximizing the monetary
                incentive for it. At the grid level, it allows
                formulating a model predictive control scheme to
                optimally control the ancillary service power flow
                from buildings, while integrating constraints such
                as ramping rates of ancillary service providers,
                maximum available ancillary power, and load
                forecast information. Simulation results
                illustrate the effectiveness of the proposed
                design methodology and the improvements brought by
                the proposed control strategy with respect to the
                state of the art.},
      URL = {http://terraswarm.org/pubs/409.html}
  }
  

Posted by Baihong Jin on 28 Oct 2014.