Modelling and control of a variable air volume (VAV) system