Karen M Leung

US Patent:

20200379893, Dec 3, 2020

Filed:

May 29, 2019

Appl. No.:

16/425723

Inventors:

Karen Y. LEUNG - Mountain View CA, US
Soon Ho KONG - Arlington MA, US
Jonathan DECASTRO - Arlington MA, US
Frank PERMENTER - Cambridge MA, US

International Classification:

G06F 11/36
G06N 3/08
G06F 17/50
G06N 5/02
G06F 17/13

Abstract:

A method for synthesizing parameters for control of a closed loop system based on a differentiable simulation model of the closed loop system includes determining requirements/specifications for the closed loop system in signal temporal logic (STL). The method also includes selecting a parametric control law having a differentiable parameter control function. The method also includes converting the requirements in signal temporal logic into differentiable computational graph. The method further includes building the differentiable simulation model as a differentiable computational graph. Furthermore, the method includes automatically learning values of parameters for the differentiable parameter control function of the closed loop system by backpropagating an error.