OpenBuildingControl: Modeling Feedback Control as a Step Towards Formal Design, Specification, Deployment and Verification of Building Control Sequences
| Title | OpenBuildingControl: Modeling Feedback Control as a Step Towards Formal Design, Specification, Deployment and Verification of Building Control Sequences |
| Publication Type | Conference Paper |
| Authors | Michael Wetter, Jianjun Hu, Milica Grahovac, Brent Eubanks, Philip Haves |
