You are here

Probabilistic Model-Based Programming Techniques for Prediction, Analysis and Control (PROMPT)

Award Information
Agency: Department of Defense
Branch: Defense Advanced Research Projects Agency
Contract: W911NF-15-C-0002
Agency Tracking Number: D2-1366
Amount: $1,499,905.00
Phase: Phase II
Program: SBIR
Solicitation Topic Code: SB142-003
Solicitation Number: 2014.2
Timeline
Solicitation Year: 2014
Award Year: 2015
Award Start Date (Proposal Award Date): 2014-12-31
Award End Date (Contract End Date): 2017-12-29
Small Business Information
625 Mount Auburn Street
Cambridge, MA 02138-4555
United States
DUNS: 115243701
HUBZone Owned: No
Woman Owned: No
Socially and Economically Disadvantaged: No
Principal Investigator
 Avi Pfeffer
 Principal Scientist
 (617) 491-3474
 apfeffer@cra.com
Business Contact
 Mr. Mark Felix
Title: program manager
Phone: (617) 491-3474
Email: contracts@cra.com
Research Institution
N/A
Abstract

Model-based programming (MBP) languages such as SysML and RMPL provide declarative descriptions of the structure, processes, functions, and context of a system. They are particularly useful for cyber-physical systems that interact with the environment through sensors and actuators. MBP languages are beneficial both in the design of systems and in the control of systems in real time. However, existing MBP languages are deterministic and do not model uncertainties that influence the systems behavior. We propose to develop Probabilistic Model-Based Programming Techniques for Prediction, Analysis and Control (PROMPT). PROMPT will provide probabilistic extensions to SysML, enabling that to enable the representation of uncertainties in both the structure and the behaviors of a complex system, as well as interactions between the structure and behaviors. PROMPT will provide inference services for predicting the behavior of a system under uncertainty and estimating the current state of the system from noisy sensors. These inference services will be used to predict performance and analyze models at design time and to control a cyber-physical system at runtime based on probabilistic beliefs about the state of the system. PROMPT will be applied to and evaluated on a significant cyber-physical system such as an unmanned undersea vehicle.

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

US Flag An Official Website of the United States Government