OpenBuildingControl: Digitizing the control delivery from building energy modeling to specification, implementation and formal verification

The current process for specifying, installing and commissioning building control sequences is largely manual and based on ambiguous natural language specifications. It lacks a formal end-to-end quality control and it has been shown not to deliver high performance sequences at scale. While high -performance HVAC control sequences enable significant reductions in energy consumption, errors in implementing the control logic are common even for less advanced sequences. To improve this situation, we present a digitized building control delivery workflow with formal end-to-end verification, a Control Description Language for the digital specification of building control sequences within this workflow, and software tools that enable digitization of this process. Using the process and tools introduced here, mechanical designers can customize, test and improve these sequences within annual energy simulation, store them in a library for use in other projects, and export them for bidding. Control providers can implement the sequences on existing control product lines through code generation. Commissioning providers can formally verify whether as-installed sequences conform to the digital design specification that was exported by the mechanical designer. Moreover, control product development teams can use the reference implementations of these libraries within their product testing to ensure that their products reproduce the behavior of the reference implementations. This paper presents this process, the language and the supporting software, together with examples of all of the above steps. The presented work has given rise to a new proposed standard, ASHRAE 231P, that will allow digitizing the building control delivery process through the standardization of a control-vendor independent format for exchanging control logic that we pioneered through the here presented work. Published by Elsevier Ltd. This is an open access article under the CC BY license (http://creativecommons. org/licenses/by/4.0/).

Automated summary

The current process of specifying, installing, and commissioning building control sequences is manual and lacks formal quality control, resulting in low performance sequences at scale. To address this, a digitized building control delivery workflow with formal verification and a Control Description Language was introduced to allow customization, testing, and improvement of sequences by mechanical designers. This process has led to a proposed standard, ASHRAE 231P, for digitizing the building control delivery process through a standardized format for exchanging control logic.