Intelligent Control Lab

guardX

In the enhanced GUARD environment, RL training benefits from the power of GPU parallelization, enabling the training of RL agents in a matter of minutes.

guard

Robotic_Lego_Manipulation

BOND

This is the official code for L4DC 2024 paper "Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation"

NeuralVerification.jl

Methods to soundly verify deep neural networks

Composable_Agent_Toolbox

Benchmark for planner, controller, model, estimator etc.

Robot_Digital_Twin

StableLego

Absolute-Policy-Optimization

The source code of Absolute Policy Optimization

Stream_Motion_Controller

This repository contains the C++ controller for controlling the Fanuc robots using the Stream Motion interface.

Feedforward_Adaptation

[CoRL 2023] Online Model Adaptation with Feedforward Compensation

safe_rl_bench

Safety-Index-Synthesis-via-Sum-of-Squares-Programming

the code of ACC 2023, Safety Index Synthesis via Sum of Squares Programming

RSSA-and-abstract-safe-control

StateWise_Constrained_Policy_Optimization

Robotic_LEGO_Assembly_and_Disassembly_from_Human_Demonstration

This repo is the code deliverable for 2022-23 Siemens project phase 2.

Microscopic_Epidemic_Model

Autoenv

An integrated environment for autonomous driving simulation

CCHP_ICRA23

Human-Robot-Handover

UA-ISSA-CoRL22

Joint-Tolerance-Estimation

NNDM-safe-control

ISSA_CoRL21

ARSSA

Code for MECC 2021

CMA-ES

vnncomp2021

VNN Neural Network Verification Competition 2021

NeuralVerification_VNNCOMP_scripts

Auto_Vehicle_Simulator

MEKF_MAME

Modified Extended Kalman Filter with generalized exponential Moving Average and dynamic Multi-Epoch update strategy (MEKF_MAME)