Zoned HVAC control via PDE-constrained optimization | IEEE Conference Publication | IEEE Xplore