Applying Distributed SAT-based Constrained Optimization to Global Missile Defense Battle Management

Award Information
Agency: Department of Defense
Branch: Missile Defense Agency
Contract: W9113M-09-C-0112
Agency Tracking Number: B083-038-0003
Amount: $99,965.00
Phase: Phase I
Program: SBIR
Awards Year: 2009
Solicitation Year: 2008
Solicitation Topic Code: MDA08-038
Solicitation Number: 2008.3
Small Business Information
632 Broadway, Suite 803, New York, NY, 10012
DUNS: 022423854
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 James Ezick
 Senior Engineer
 (212) 780-0527
Business Contact
 Melanie Peters
Title: Business Manager
Phone: (212) 780-0527
Research Institution
As part of an ongoing MDA SBIR effort we have developed REASON, a scenario environment for the missile defense battle management asset assignment and employment problems. Through that effort, we demonstrated how it was both possible and computational advantageous to map missile defense intercept scenarios involving complex coordination, mutual-exclusion, and deconfliction constraints and global notions of solution fitness to instances of the Boolean Satisfiability (SAT) problem. Through the implementation of a series of algorithmic innovations, we demonstrated considerable speedup resolving these instances in distributed computing environments that will ultimately scale up from commodity clusters all the way to future net-centric environments. In this effort, we propose to build upon and extend that ongoing work with new capabilities that address the need for (1) optimization in the context of global inventory management (2) incorporation of constraints that address probabilistic outcomes and (3) a broader problem formulation that admits feedback and iterative refinement. We are again partnering with Lockheed Martin Maritime Systems & Sensors (MS2) developers of the Aegis BMD system who will be assisting us with requirements analysis and evaluation. Lockheed Martin MS2 has an interest in transitioning this technology to address problems in persistent surveillance, multi-target tracking, and multi-sensor fusion.

* Information listed above is at the time of submission. *

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government