Event-Based Finite Time Stabilizability and Formation Control of Multi-Agent Systems | IEEE Journals & Magazine | IEEE Xplore