Text this: Guaranteed trajectory tracking control based on interval observer for quadrotors.