Search Results for author:
Found 5 papers, 0 papers with code
Synthesis of Event-triggered Controllers for SIRS Epidemic Models
To synthesize the event-triggered controller, we leverage the notion of a symbolic model, which represents an abstracted expression of the transition system associated with the SIRS model under the event-triggered control strategy.
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.
