Velocity-free Formation Control for Quadrotors Using High-order Sliding Mode Differentiator | IEEE Conference Publication | IEEE Xplore