You can change the hostname of an IPS device by accessing the Device Configuration menu; Devices > All Devices > *Device Name* > Device Configuration > Edit.
In the hostname field enter the new name for the IPS and click OK.
A hostname change of the IPS does not require a reboot, but you may need to log out and log back in to the interface (client, CLI, etc.) before the change shows up.