Passivity-Based Finite-Time Synchronization of Nonlinear Multi-Agent Systems | IEEE Journals & Magazine | IEEE Xplore