High-Performance Model Predictive Control for Quadcopters with Formal Stability Guarantees. - Maedeh Izadi; A. T. J. R. Cobbenhagen; Ruben Sommer; A. R. P. Andriën; Erjen Lefeber; W. P. M. H. Heemels (CoRR, 2024)