Cooperative Traction Controller of Heavy-Haul Train With Actuator Saturation: A Multi-Agent System Approach | IEEE Journals & Magazine | IEEE Xplore