Related references
Note: Only part of the references are listed.
Article
Automation & Control Systems
Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints
Wenliang Liu et al.
Summary: This paper proposes a framework based on Recurrent Neural Networks (RNNs) to determine an optimal control strategy for a discrete-time system that satisfies Signal Temporal Logic (STL) formulae.
IEEE CONTROL SYSTEMS LETTERS (2022)
Article
Computer Science, Hardware & Architecture
Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach
Shakiba Yaghoubi et al.
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2019)
Article
Automation & Control Systems
Temporal logic motion planning for dynamic robots
Georgios E. Fainekos et al.
AUTOMATICA (2009)