-
Inverted Pendulum
The dataset used in the paper is an Inverted Pendulum dataset, which is a standard benchmark system in control and reinforcement learning. -
Compatibility checking of multiple control barrier functions
The dataset used in this paper for compatibility checking of multiple control barrier functions for input constrained systems. -
NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Sto...
NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems -
Unicycle Robot Dataset
The dataset used in the paper is a collection of data points from a unicycle robot system, where the robot is controlled using a policy computed via Algorithm 1. The dataset is... -
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... -
Data-driven computation of polytopic robust control invariant sets
The dataset used in this paper is a single state-input trajectory generated from a linear time-invariant system affected by bounded disturbances. -
Van der Pol dynamics dataset
The dataset used for the simulation study of the autoencoder-based Koopman operator. -
IEEE-57 Bus Test Case
The dataset used in the paper for forced oscillation source localization in transmission grids. -
Inverted Pendulum Dataset
The dataset used for the inverted pendulum task. -
Switching Density Networks for Hybrid Control
The dataset used for switching density networks for hybrid control law identification. -
Cart-Pole Problem
The cart-pole problem is a classic control problem in robotics and control theory. It is a continuous control problem where the goal is to keep the pole upright by applying a... -
Quadrotor Disturbance Dataset
The dataset used in this paper is a collection of disturbance data for a quadrotor drone, with 10,000 samples at 100 Hz. -
Quadrotor Trajectory Dataset
The dataset used in this paper is a collection of trajectory data for a quadrotor drone, with 10,000 samples at 100 Hz. -
Reference-tracking control experiments with a heavy-duty machine
The dataset used in the paper is a set of reference-tracking control experiments with a heavy-duty machine. -
DeepMind Control Suite
The DeepMind Control Suite is a collection of 20 robotic manipulation tasks, each with 5 different environments and 5 different robot parameters. The tasks are designed to test... -
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.