Building a virtual model of the HAPP in Simulink and verifying the stabilization algorithm