Peer Reviewed Conference Papers

Michael Wetter, Antoine Gautier, Milica Grahovac, Jianjun Hu.
Verification of Control Sequences within OpenBuildingControl.
Proc. of the 14th IBPSA Conference, p. 885–892, Rome, Italy, September 2019.

Michael Wetter, Jianjun Hu, Milica Grahovac, Brent Eubanks and Philip Haves.
OpenBuildingControl: Modeling feedback control as a step towards formal design, specification, deployment and verification of building control sequences.
Proc. of Building Performance Modeling Conference and SimBuild, p. 775–782, Chicago, IL, USA, September 2018.

Michael Wetter, Milica Grahovac and Jianjun Hu.
Control Description Language.
1st American Modelica Conference, Cambridge, MA, USA, August 2018.

Other Documentation

The working report of the project is available as a pdf file or in html.

The specification for the Control Description Language (CDL) is available here.

The implementation of the CDL language and of control sequences that are implemented using CDL are available through the Modelica Buildings Library. See also its documentation.

The Commercialization and Market Transformation Plan is available as a pdf.