Non-linear optimal controller design for building HVAC systems | IEEE Conference Publication | IEEE Xplore