Cooperative air-defense system of system model based on immune multi-agent for surface warship formation | IEEE Conference Publication | IEEE Xplore