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
Solitcitation Year: 2008
Solitcitation Topic Code: MDA08-038
Solitcitation Number: 2008.3
Small Business Information
Reservoir Labs., Inc.
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
 ezick@reservoir.com
Business Contact
 Melanie Peters
Title: Business Manager
Phone: (212) 780-0527
Email: peters@reservoir.com
Research Institution
N/A
Abstract
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

US Flag An Official Website of the United States Government