Assurance for Learning Enabled Systems

From Murray Wiki
Revision as of 04:19, 10 June 2019 by Murray (talk | contribs)
Jump to navigationJump to search

This project will extend previous work in automatic synthesis methods for planning and model-predictive control to address (1) real-time synthesis through efficient and incremental constraint-solving, and (2) risk-awareness by explicitly modeling uncertainty in perception and dynamics modeling. ALES includes a risk-aware planning and real-time synthesis engine to generate plans, protocols and control that are correct-by-construction. We plan to use a special class of stochastic predicates called chance constraints to express confidence in the learned component or its individual outputs. We specify the semantics of the temporal evolution of this logical model based on an underlying learning algorithm.

Current participants:

Additional participants:


  • Susmit Jha (SRI)

Past participants:

  • Sumanth Dathathri (Alumni, CMS)
  • Chuchu Fan (Alumni, CMS)



SRI and Caltech shall develop algorithms for correct-by-construction synthesis from high- level contracts, and planning in presence of uncertainty. Caltech's primary objectives are to support the following milestones:

  • Year 1: Develop algorithms for correct-by-construction synthesis with probabilistic notion of safety
  • Year 2: Extend the approaches to incorporate risk measures such as Conditional Value-at-Risk.


  • Agency: DARPA
  • Grant number:
  • Start date: 1 July 2019
  • End date: 30 Jun 2021
  • Support: 1 postdoc, 0.5 graduate student
  • Reporting: