OpenBuildingControl: Modeling Feedback Control as a Step Towards Formal Design, Specification, Deployment and Verification of Building Control Sequences

TitleOpenBuildingControl: Modeling Feedback Control as a Step Towards Formal Design, Specification, Deployment and Verification of Building Control Sequences
Publication TypeConference Paper
AuthorsMichael Wetter, Jianjun Hu, Milica Grahovac, Brent Eubanks, Philip Haves