Search Results for author:
Found 5 papers, 0 papers with code
Long-term Safe Reinforcement Learning with Binary Feedback
Our theoretical results show that LoBiSaRL guarantees the long-term safety constraint, with high probability.
Bayesian Meta-Learning on Control Barrier Functions with Data from On-Board Sensors
The proposed scheme realizes efficient online synthesis of the controller as shown in the simulation study and provides probabilistic safety guarantees on the resulting controller.
Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks
In this paper, we propose a control synthesis method for signal temporal logic (STL) specifications with neural networks (NNs).
A Lifting Approach to Learning-Based Self-Triggered Control with Gaussian Processes
This paper investigates the design of self-triggered control for networked control systems (NCS), where the dynamics of the plant is unknown apriori.
STL2vec: Signal Temporal Logic Embeddings for Control Synthesis With Recurrent Neural Networks
In this paper, a method for learning a recurrent neural network (RNN) controller that maximizes the robustness of signal temporal logic (STL) specifications is presented.
