-
Rotator Experiment
The dataset used in the paper is a pendulum experiment. -
Time-Delay System
The dataset used in the paper is a time-delay system, which is a nonlinear system of the form ̇x1 = f1(x1, x2 - y2d2, u1) + w1 and ̇x2 = f2(x2, x1 - y1d1, u2) + w2, where y1 and... -
Synthesis of Neural Barrier Certificates
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... -
Neural Identification for Control
The proposed method for learning control for an unknown nonlinear dynamical system by formulating a system identification task. -
Stability Verification in Stochastic Control Systems via Neural Network
The dataset used in the paper is a discrete-time stochastic dynamical system with two novel aspects: (a) using ranking supermartingales (RSMs) to certify almost-sure asymptotic... -
Controller Structure for Autonomous E-Scooter
The proposed controller structure for the driving dynamics of the autonomous e-scooter. -
VRFT dataset for vehicle dynamics control
The dataset used in this paper for Virtual Reference Feedback Tuning (VRFT) is a set of data for vehicle dynamics control, including yaw-rate tracking and sideslip angle... -
MPC dataset for vehicle dynamics control
The dataset used in this paper for Model Predictive Control (MPC) is a set of data for vehicle dynamics control, including yaw-rate tracking and sideslip angle estimation. -
TiL-C dataset for vehicle dynamics control
The dataset used in this paper for Twin-in-the-Loop Control (TiL-C) is a set of data for vehicle dynamics control, including yaw-rate tracking and sideslip angle estimation. -
Cart-pole problem dataset
The dataset used for the cart-pole problem is a finite set of states: S, a finite set of actions: A, a state transition probability matrix, P, a reward function R, and a... -
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.