Mathematical Formalization of Information Technology for Intelligent Control of a Group of Heterogeneous Unmanned Aerial Vehicles in an Antagonistic Environment | IEEE Conference Publication | IEEE Xplore