Event-Based Human-in-The-Loop Formation-Containment Control for Heterogeneous UAV-USV Systems With Dual Predefined-Time Prescribed Performance | IEEE Journals & Magazine | IEEE Xplore