Model-Based Safe Policy Search from Signal Temporal Logic Specifications
  Using Recurrent Neural Networks
  We propose a policy search approach to learn controllers from specifications
given as Signal Temporal Logic (STL) formulae. The system model, which is
unknown but assumed to be an affine control system, is learned together with
the control policy. The model is implemented as two feedforward neural networks
(FNNs) - one for the drift, and one for the control directions. To capture the
history dependency of STL specifications, we use a recurrent neural network
(RNN) to implement the control policy. In contrast to prevalent model-free
methods, the learning approach proposed here takes advantage of the learned
model and is more efficient. We use control barrier functions (CBFs) with the
learned model to improve the safety of the system. We validate our algorithm
via simulations and experiments. The results show that our approach can satisfy
the given specification within very few system runs, and can be used for
on-line control.
