Model validation for an AMB-based compressor surge control test rig | IEEE Conference Publication | IEEE Xplore