Simulation-based technique to synthesize controllers that satisfy signal temporal logic specifications
US11256611B2 · kind B2 · utility
Assignees
Inventors
Key dates
| Filing date | May 29, 2019 |
| Grant date | Feb 22, 2022 |
| Priority date | — |
| Expiry date | Feb 6, 2040 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F2119/12
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.