We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Electrical Engineering and Systems Science > Systems and Control

Title: Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints

Abstract: We propose a framework based on Recurrent Neural Networks (RNNs) to determine an optimal control strategy for a discrete-time system that is required to satisfy specifications given as Signal Temporal Logic (STL) formulae. RNNs can store information of a system over time, thus, enable us to determine satisfaction of the dynamic temporal requirements specified in STL formulae. Given a STL formula, a dataset of satisfying system executions and corresponding control policies, we can use RNNs to predict a control policy at each time based on the current and previous states of system. We use Control Barrier Functions (CBFs) to guarantee the safety of the predicted control policy. We validate our theoretical formulation and demonstrate its performance in an optimal control problem subject to partially unknown safety constraints through simulations.
Comments: 7 pages, 4 figures, submitted to IEEE Control Systems Letters (L-CSS) with the option to present it to the ACC 2021
Subjects: Systems and Control (eess.SY); Machine Learning (cs.LG)
Cite as: arXiv:2009.11468 [eess.SY]
  (or arXiv:2009.11468v1 [eess.SY] for this version)

Submission history

From: Wenliang Liu [view email]
[v1] Thu, 24 Sep 2020 03:34:02 GMT (941kb,D)

Link back to: arXiv, form interface, contact.