Equation-based languages- A new paradigm for building energy modeling, simulation and optimization

Most of the state-of-the-art building simulation programs implement models in imperative programming languages. This complicates modeling and excludes the use of certain efficient methods for simulation and optimization. In contrast, equation-based modeling languages declare relations among variables, thereby allowing the use of computer algebra to enable much simpler schematic modeling and to generate efficient code for simulation and optimization. We contrast the two approaches in this paper. We explain how such manipulations support new use cases. In the first of two examples, we couple models of the electrical grid, multiple buildings, HVAC systems and controllers to test a controller that adjusts building room temperatures and PV inverter reactive power to maintain power quality. In the second example, we contrast the computing time for solving an optimal control problem for a room-level model predictive controller with and without symbolic manipulations. Exploiting the equation-based language led to 2, 200 times faster solution.

[1]  Michael Wetter.  Modelica-based Modeling and Simulation to Support Research and Development in Building Energy and Control Systems , 2010 .

[2]  Michael Chertkov,et al.  Options for Control of Reactive Power by Distributed Photovoltaic Generators , 2010, Proceedings of the IEEE.

[3]  M. Wetter.  BuildOpt—a new building energy simulation program that is built on smooth models , 2005 .

[4]  Damien Picard,et al.  A New Hybrid Model For Borefield Heat Exchangers Performance Evaluation , 2014 .

[5]  Bernard P. Zeigler,et al.  Theory of quantized systems: formal basis for DEVS/HLA distributed simulation environment , 1998, Defense, Security, and Sensing.

[6]  E. F. Sowell,et al.  Generation of building energy system models , 1984 .

[7]  Ernesto Kofman,et al.  A stand-alone quantized state system solver for continuous system simulation , 2014, Simul..

[8]  Hilding Elmqvist,et al.  DYMOLA - A Structured Model Language for Large Continuous Systems , 1978 .

[9]  François E. Cellier,et al.  Linearly implicit quantization-based integration methods for stiff ordinary differential equations , 2013, Simul. Model. Pract. Theory.

[10]  Christoph van Treeck,et al.  New Generation Computational Tools for Building & Community Energy Systems - Annex 60 Final Report , 2017 .

[11]  Dirk Saelens,et al.  Assessing electrical bottlenecks at feeder level for residential net zero-energy buildings by integrated system simulation , 2012 .

[12]  Hans Olsson,et al.  Parallel Model Execution on Many Cores , 2014 .

[13]  Johan Åkesson,et al.  Collocation Methods for Optimization in a Modelica Environment , 2012 .

[14]  Thierry S. Nouidui,et al.  LINKING SIMULATION PROGRAMS, ADVANCED CONTROL AND FDD ALGORITHMS WITH A BUILDING MANAGEMENT SYSTEM BASED ON THE FUNCTIONAL MOCK-UP INTERFACE AND THE BUILDING AUTOMATION JAVA ARCHITECTURE STANDARDS , 2014 .

[15]  Michael Wetter,et al.  A framework for simulation-based real-time whole building performance assessment , 2012 .

[16]  Ernesto Kofman,et al.  Quantization-Based Simulation of Differential Algebraic Equation Systems , 2003, Simul..

[17]  Volker Waurich,et al.  Exploiting Repeated Structures and Vectorization in Modelica , 2015 .

[18]  Jonathan A. Wright,et al.  A comparison of deterministic and probabilistic optimization algorithms for nonsmooth simulation-based optimization , 2004 .

[19]  E. Hairer,et al.  Solving Ordinary Differential Equations II: Stiff and Differential-Algebraic Problems , 2010 .

[20]  Francesco Casella,et al.  Simulation of Large-Scale Models in Modelica: State of the Art and Future Perspectives , 2015 .

[21]  S. A. Klein.  Development and integration of an equation‐solving program for engineering thermodynamics courses , 1993 .

[22]  Karl-Erik Årzén,et al.  Modeling and optimization with Optimica and JModelica.org - Languages and tools for solving large-scale dynamic optimization problems , 2010, Comput. Chem. Eng..

[23]  Johan Åkesson,et al.  JModelica---an Open Source Platform for Optimization of Modelica Models , 2009 .

[24]  Michael Wetter,et al.  A view on future building system modeling and simulation , 2011, Building Performance Simulation for Design and Operation.

[25]  J.-M. Nataf,et al.  Object-Oriented Programming, Equation-Based Submodels, and System Reduction in SPANK , 1990 .

[26]  Lorenz T. Biegler,et al.  On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming , 2006, Math. Program..

[27]  Lorenz T. Biegler,et al.  Nonlinear Waves in Integrable and Nonintegrable Systems , 2018 .

[28]  F. C. Winkelmann,et al.  Recent Improvements in Spark: Strong Component Decomposition, Multivalued Objects and Graphical Interface , 1993 .

[29]  Federico Bergero,et al.  Efficient Compilation of Large Scale Dynamical Systems , 2015 .

[30]  Michael Wetter,et al.  Simulation Speed Analysis and Improvements of Modelica Models for Building Energy Simulation , 2015 .

[31]  Hilding Elmqvist,et al.  Methods for Tearing Systems of Equations in Object-Oriented Modeling , 1994 .

[32]  Elijah Polak,et al.  Optimization: Algorithms and Consistent Approximations , 1997 .

[33]  Martin Otter,et al.  Inline Integration: A New Mixed Symbolic/Numeric Approach for Solving Differential-Algebraic Equations Systems , 1995 .

[34]  Joseph Andrew Clarke,et al.  A vision for building performance simulation: a position paper prepared on behalf of the IBPSA Board , 2015 .

[35]  Frauke Oldewurtel,et al.  Experimental analysis of model predictive control for an energy efficient building heating system , 2011 .

[36]  Thierry S. Nouidui,et al.  Modelica Buildings library , 2014 .

[37]  Joel Andersson,et al.  A General-Purpose Software Framework for Dynamic Optimization (Een algemene softwareomgeving voor dynamische optimalisatie) , 2013 .

[38]  Bing Liu,et al.  U.S. Department of Energy Commercial Reference Building Models of the National Building Stock , 2011 .

[39]  Johannes F. Broenink,et al.  Modelica: An International Effort to Design the Next Generation Modelling Language , 1997 .

[40]  François E. Cellier,et al.  Continuous System Simulation , 2006 .

[41]  Michael Wetter,et al.  Robust on-line fault detection diagnosis for HVAC components based on nonlinear state estimation techniques , 2014 .

[42]  E. Hairer,et al.  Solving Ordinary Differential Equations II , 2010 .

[43]  Ernesto Kofman,et al.  Quantized-state systems: a DEVS Approach for continuous system simulation , 2001 .

[44]  Dirk Zimmer.  Using Artificial States in Modeling Dynamic Systems: Turning Malpractice into Good Practice , 2013, EOOLT.