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

Citation
Mehdi Maasoumy, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli. "Smart Buildings in the Smart Grid: Contract-Based Design of an Integrated Energy Management System". Springer, 2015; Book Title: 'Cyber Physical Systems Approach to Smart Electric Power Grid'.

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, Alberto
  Sangiovanni-Vincentelli. <a
  href="http://www.terraswarm.org/pubs/469.html"
  ><i>Smart Buildings in the Smart Grid:
  Contract-Based Design of an Integrated Energy Management
  System</i></a>, Springer, 2015; Book Title:
  'Cyber Physical Systems Approach to Smart Electric Power
  Grid'.

• Plain text

  Mehdi Maasoumy, Pierluigi Nuzzo, Alberto
  Sangiovanni-Vincentelli. "Smart Buildings in the Smart
  Grid: Contract-Based Design of an Integrated Energy
  Management System". Springer, 2015; Book Title: 'Cyber
  Physical Systems Approach to Smart Electric Power Grid'.

• BibTeX

  @inbook{MaasoumyNuzzoSangiovanniVincentelli15_SmartBuildingsInSmartGridContractBasedDesignOfIntegrated,
      author = {Mehdi Maasoumy and Pierluigi Nuzzo and Alberto
                Sangiovanni-Vincentelli},
      title = {Smart Buildings in the Smart Grid: Contract-Based
                Design of an Integrated Energy Management System},
      publisher = {Springer},
      year = {2015},
      note = {Book Title: 'Cyber Physical Systems Approach to
                Smart Electric Power Grid'},
      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/469.html}
  }
  

Posted by Barb Hoversten on 9 Dec 2014.
Groups: tools