Air defense missile-target allocation models for a naval task group

In this study, we address the issue of allocating the air defense missiles to incoming air targets in order to maximize the air defense effectiveness of a naval task group. The shoot-look-shoot engagement policy for missile allocation is assumed to be used. Two integer linear programming models are developed and analysis of an example problem is presented. Computational results show that large instances of the proposed models can be solved within a few seconds optimally. The possible use and the extensions of the models are also discussed.