STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks

In this letter, a method for learning a recurrent neural network (RNN) controller that maximizes the robustness of signal temporal logic (STL) specifications is presented. In contrast to previous methods, we consider synthesizing the RNN controller for which the user is able to select an STL specification arbitrarily from multiple STL specifications. To obtain such a controller, we propose a novel notion called STL2vec, which represents a vector representation of the STL specifications and exhibits their similarities. The construction of the STL2vec is useful since it allows us to enhance the efficiency and performance of the controller. We validate our proposed method through the examples of the path planning problem.

Automated summary

This letter presents a method for learning an RNN controller that maximizes the robustness of STL specifications. By introducing the concept of STL2vec, the controller can be efficiently constructed and validated through examples of path planning problem.