Supervisory control for surge prevention in a gas compressor station with actuator faults | IEEE Conference Publication | IEEE Xplore