Finite-Time Leader-Following Formation Control With Obstacle Avoidance for Multi-AGV Systems Under Actuator Cyber-Attacks | Synapse