L1Quad: L1 Adaptive Augmentation of Geometric Control for Agile Quadrotors With Performance Guarantees | IEEE Journals & Magazine | IEEE Xplore