Distributed Formation Control for a Multirobotic Fish System With Model-Based Event-Triggered Communication Mechanism | IEEE Journals & Magazine | IEEE Xplore