Skip to main content
SpringerLink
Log in

Smart Buildings in the Smart Grid: Contract-Based Design of an Integrated Energy Management System

  • Chapter
Cyber Physical Systems Approach to Smart Electric Power Grid

Part of the book series: Power Systems ((POWSYS))

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
eBook
USD 16.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Buildings energy data book, http://buildingsdatabook.eren.doe.gov/default.aspx

  2. U.S. Energy Information Administration, annual energy review (2010), http://www.eia.gov/totalenergy/data/annual/consumption

  3. IBM ILOG CPLEX Optimizer (2012), http://www.ibm.com/software/integration/optimization/cplex-optimizer/

  4. de Alfaro, L., Henzinger, T.A.: Interface automata, pp. 109–120. ACM Press (2001)

    Google Scholar 

  5. Benveniste, A., Caillaud, B., Ferrari, A., Mangeruca, L., Passerone, R., Sofronis, C.: Multiple Viewpoint Contract-Based Specification and Design. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2007. LNCS, vol. 5382, pp. 200–225. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  6. Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.B., Reinkemeier, P., Sangiovanni-Vincentelli, A., et al.: Contracts for System Design. Rapport de recherche RR-8147, INRIA (2012)

    Google Scholar 

  7. Bertsekas, D.P.: Nonlinear programming (1999)

    Google Scholar 

  8. Debs, A.: Modern power systems control and operation. Kluwer Academic Publishers, Norwell (1988)

    Book  Google Scholar 

  9. Helman, U.: Resource and transmission planning to achieve a 33% RPS in California–ISO modeling tools and planning framework. In: FERC Technical Conference on Planning Models and Software (2010)

    Google Scholar 

  10. Iannopollo, A., Nuzzo, P., Tripakis, S., Sangiovanni-Vincentelli, A.L.: Library-based scalable refinement checking for contract-based design. In: Proc. Design, Automation and Test in Europe (2014)

    Google Scholar 

  11. Kirby, B.: Spinning reserve from responsive loads. United States. Department of Energy (2003)

    Google Scholar 

  12. Koch, S., Mathieu, J.L., Callaway, D.S.: Modeling and control of aggregated heterogeneous thermostatically controlled loads for ancillary services. In: Proc. PSCC, pp. 1–7 (2011)

    Google Scholar 

  13. Kundur, P., Balu, N.J., Lauby, M.G.: Power system stability and control, vol. 4. McGraw-Hill, New York (1994)

    Google Scholar 

  14. Lofberg, J.: Yalmip: A toolbox for modeling and optimization in MATLAB. In: Proceedings of the CACSD Conference, Taipei, Taiwan (2004), http://users.isy.liu.se/johanl/yalmip

  15. Ma, Y., Borrelli, F., Hencey, B., Coffey, B., Bengea, S., Haves, P.: Model predictive control for the operation of building cooling systems. In: 2010 American Control Conference (ACC), pp. 5106–5111. IEEE (2010)

    Google Scholar 

  16. Maasoumy, M.: Modeling and optimal control algorithm design for HVAC systems in energy efficient buildings. Master’s thesis, EECS Department, University of California, Berkeley (2011), http://www.eecs.berkeley.edu/Pubs/TechRpts/2011/EECS-2011-12.html

  17. Maasoumy, M., Ortiz, J., Culler, D., Sangiovanni-Vincentelli, A.: Flexibility of commercial building HVAC fan as ancillary service for smart grid. In: IEEE Green Energy and Systems Conference, Long Beach, USA (2013)

    Google Scholar 

  18. Maasoumy, M., Pinto, A., Sangiovanni-Vincentelli, A.: Model-based hierarchical optimal control design for HVAC systems. In: ASME Dynamic System Control Conference (DSCC) (2011)

    Google Scholar 

  19. Maasoumy, M., Rosenberg, C., Sangiovanni-Vincentelli, A., Callaway, D.: Model predictive control approach to online computation of demand-side flexibility of commercial buildings HVAC systems for supply following. In: Proc. IEEE American Control Conf. (2014)

    Google Scholar 

  20. Maasoumy, M., Sanandaji, B.M., Sangiovanni-Vincentelli, A., Poolla, K.: Model predictive control of regulation services from commercial buildings to the smart grid. In: Proc. IEEE American Control Conf. (2014)

    Google Scholar 

  21. Maasoumy, M., Sangiovanni-Vincentelli, A.: Total and peak energy consumption minimization of building HVAC systems using model predictive control. IEEE Design and Test of Computers (2012)

    Google Scholar 

  22. Maasoumy Haghighi, M.: Controlling energy-efficient buildings in the context of smart grid: A cyber physical system approach. UCB, EECS-2013-244 - PhD Thesis (2013), http://www.eecs.berkeley.edu/Pubs/TechRpts/2013/EECS-2013-244.html

  23. Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS/FTRTFT 2004. LNCS, vol. 3253, pp. 152–166. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  24. Nuzzo, P., Finn, J.B., Iannopollo, A., Sangiovanni-Vincentelli, A.L.: Contract-based design of control protocols for safety-critical cyber-physical systems. In: Proc. Design, Automation and Test in Europe (2014)

    Google Scholar 

  25. Nuzzo, P., Sangiovanni-Vincentelli, A.: Let’s get physical: Computer science meets systems. In: Bensalem, S., Lakhneck, Y., Legay, A. (eds.) From Programs to Systems. LNCS, vol. 8415, pp. 193–208. Springer, Heidelberg (2014)

    Chapter  Google Scholar 

  26. Nuzzo, P., Sangiovanni-Vincentelli, A., Sun, X., Puggelli, A.: Methodology for the design of analog integrated interfaces using contracts 12(12), 3329–3345 (2012)

    Google Scholar 

  27. Nuzzo, P., Xu, H., Ozay, N., Finn, J., Sangiovanni-Vincentelli, A., Murray, R., Donze, A., Seshia, S.: A contract-based methodology for aircraft electric power system design. IEEE Access 2, 1–25 (2014), doi:10.1109/ACCESS.2013.2295764

    Article  Google Scholar 

  28. Oldewurtel, F., Parisio, A., Jones, C., Morari, M., Gyalistras, D., Gwerder, M., Stauch, V., Lehmann, B., Wirth, K.: Energy efficient building climate control using stochastic model predictive control and weather predictions. In: 2010 American Control Conference (ACC), pp. 5100–5105. IEEE (2010)

    Google Scholar 

  29. Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science, pp. 46–57. IEEE Computer Society Press (1977)

    Google Scholar 

  30. Sangiovanni-Vincentelli, A.: Quo vadis, SLD? Reasoning about the trends and challenges of system level design. Proceedings of the IEEE 95(3), 467–506 (2007)

    Article  Google Scholar 

  31. Sangiovanni-Vincentelli, A., Damm, W., Passerone, R.: Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems. European Journal of Control 18(3), 217–238 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  32. Strbac, G.: Demand side management: Benefits and challenges. Energy Policy 36(12), 4419–4426 (2008)

    Article  Google Scholar 

  33. Todd, D., Caufield, M., Helms, B., Starke, M., Kirby, B., Kueck, J.: Providing reliability services through demand response: A preliminary evaluation of the demand response capabilities of Alcoa Inc. ORNL/TM 233 (2008)

    Google Scholar 

  34. Vittal, V., Bergen, A.: Power systems analysis. Prentice Hall (1999)

    Google Scholar 

  35. Wächter, A., Biegler, L.T.: On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming. Mathematical Programming 106(1), 25–57 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  36. Woo, C.K., Kollman, E., Orans, R., Price, S., Horii, B.: Now that California has AMI, what can the state do with it? Energy Policy 36(4), 1366–1374 (2008)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, CA, 94720, USA

    Mehdi Maasoumy, Pierluigi Nuzzo & Alberto Sangiovanni-Vincentelli

Authors
  1. Mehdi Maasoumy
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pierluigi Nuzzo
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alberto Sangiovanni-Vincentelli
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mehdi Maasoumy .

Editor information

Editors and Affiliations

  1. Electrical and Computer Engineering, Iowa State University, Ames, Iowa, USA

    Siddhartha Kumar Khaitan

  2. Electrical and Computer Engineering, Iowa State University, Ames, Iowa, USA

    James D. McCalley

  3. Energy Systems and Innovation Center (ESIC), Washington State University, Pullman, Washington, USA

    Chen Ching Liu

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Maasoumy, M., Nuzzo, P., Sangiovanni-Vincentelli, A. (2015). Smart Buildings in the Smart Grid: Contract-Based Design of an Integrated Energy Management System. In: Khaitan, S., McCalley, J., Liu, C. (eds) Cyber Physical Systems Approach to Smart Electric Power Grid. Power Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-45928-7_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-45928-7_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-45927-0

  • Online ISBN: 978-3-662-45928-7

  • eBook Packages: EnergyEnergy (R0)

Publish with us

Policies and ethics

Search

Navigation