Control Systems - Groups

Rotator Experiment

The dataset used in the paper is a pendulum experiment.

Dataset
JSON

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...

Dataset
JSON

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...

Dataset
JSON

Neural Identiﬁcation for Control

The proposed method for learning control for an unknown nonlinear dynamical system by formulating a system identiﬁcation task.

Dataset
JSON

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...

Dataset
JSON

Controller Structure for Autonomous E-Scooter

The proposed controller structure for the driving dynamics of the autonomous e-scooter.

Dataset
JSON

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...

Dataset
JSON

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.

Dataset
JSON

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.

Dataset
JSON

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...

Dataset
JSON

Control

The dataset used in the paper is a set of control benchmarks for synthesizing floating-point controllers.

Dataset
JSON

Inverted Pendulum

The dataset used in the paper is an Inverted Pendulum dataset, which is a standard benchmark system in control and reinforcement learning.

Dataset
JSON

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.

Dataset
JSON

NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Sto...

NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems

Dataset
JSON

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...

Dataset
JSON

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...