Formation control of multi-UAVs using negative-imaginary systems theory | IEEE Conference Publication | IEEE Xplore