Statistics for Stability Analysis and Formally Guaranteed Tracking Control of Quadrotors