-
Continuous-Time Policy Gradient for Optimisation of Structured Neural Controller
The dataset used in the paper is a continuous-time policy gradient method for optimisation of structured neural controller. -
Closed-Loop State Trajectories
The dataset used in this paper is a collection of closed-loop state trajectories of a linear time-invariant system performing an iterative task. The system is subject to an... -
Synthesis of Neural Barrier Certiļ¬cates
The dataset used in the paper is a set of polynomial and non-polynomial dynamical models, including the Darboux model, the exponential model, the obstacle avoidance problem, the... -
NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Sto...
NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems -
Pendulum Control Dataset
The dataset used in the paper is a collection of data points from a pendulum system, where the pendulum is controlled using a policy computed via Algorithm 1. The dataset is... -
AFVSGP-HOCBF
The dataset used in the paper for real-time adaptive safety-critical control with Gaussian processes in high-order uncertain models. -
OpenAI Gym
The dataset used in the paper is not explicitly described, but it is mentioned that the authors used several continuous control environments from the OpenAI Gym.