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.
The specification for the Control Description Language (CDL) is available here.