OK...first...do you have a PSK SSID or is it 802.1x? Is it an open SSID? If it's a PSk, there should be some documentation on HP's support site for connecting.
Is there something in the Aruba network that is preventing association and authentication for this printer?
Sorry for the 20 questions...but there was little info to go on.