Finite-Time Formation Control of Second-Order Linear Multi-Agent Systems With Relative State Constraints: A Barrier Function Sliding Mode Control Approach | IEEE Journals & Magazine | IEEE Xplore