Journal
IEEE ROBOTICS AND AUTOMATION LETTERS
Volume 7, Issue 2, Pages 5246-5253Publisher
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/LRA.2022.3155197
Keywords
Signal temporal logic; neural network controller; optimal control
Categories
Funding
- JST CREST [JPMJCR201]
- JSPS KAKENHI [21K14184]
- Grants-in-Aid for Scientific Research [21K14184] Funding Source: KAKEN
Ask authors/readers for more resources
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.
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.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available