Nonlinear control and disturbance decoupling of an HVAC system via feedback linearization and back-stepping | IEEE Conference Publication | IEEE Xplore