Skip to content

@intelligent-control-lab Intelligent Control Lab

Change the repository type filter

All

    Repositories list

    51 repositories

    • 16-714

      Public
      Course material for 16-714 Advanced Control for Robotics
      MATLAB
      •0•3•1•0•Updated Nov 5, 2024Nov 5, 2024

    • PhysicsAwareCombinatorialASP

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated Nov 5, 2024Nov 5, 2024

    • StableLego

      Public
      Python
      •
      MIT License
      •0•5•0•0•Updated Nov 5, 2024Nov 5, 2024

    • Robot_Digital_Twin

      Public
      CMake
      •
      MIT License
      •0•1•0•0•Updated Nov 1, 2024Nov 1, 2024

    • Robotic_Lego_Manipulation

      Public
      C++
      •
      MIT License
      •3•1•0•1•Updated Oct 18, 2024Oct 18, 2024

    • verify-neural-CBF

      Public
      This is the official code for CoRL 2024 work "Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation".
      Jupyter Notebook
      •
      MIT License
      •0•3•0•0•Updated Oct 5, 2024Oct 5, 2024

    • Robust-Hierarchial-Multimodal-HRC

      Public
      This is the official Github Repo for the paper Robustifying Human-Robot Collaboration through a Hierarchical and Multimodal Framework.
      Python
      •
      MIT License
      •0•2•0•0•Updated Oct 3, 2024Oct 3, 2024

    • LEGO_APP

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated Oct 1, 2024Oct 1, 2024

    • Stream_Motion_Controller

      Public
      This repository contains the C++ controller for controlling the Fanuc robots using the Stream Motion interface.
      C++
      •
      MIT License
      •0•5•0•0•Updated Sep 29, 2024Sep 29, 2024

    • Robotiq_3F_Gripper

      Public
      C++
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Sep 25, 2024Sep 25, 2024

    • Absolute-State-wise-Constrained-Policy-Optimization

      Public
      the source code of Absolute State-wise Constrained Policy Optimization
      Python
      •
      MIT License
      •0•0•0•0•Updated Sep 24, 2024Sep 24, 2024

    • guard

      Public
      Python
      •
      MIT License
      •6•42•0•0•Updated Aug 21, 2024Aug 21, 2024

    • ModelVerification.jl

      Public
      Jupyter Notebook
      •
      MIT License
      •1•8•0•0•Updated Aug 16, 2024Aug 16, 2024

    • Cersyve.jl

      Public
      Julia
      •
      MIT License
      •0•2•0•0•Updated Jul 30, 2024Jul 30, 2024

    • Composable_Agent_Toolbox

      Public
      Benchmark for planner, controller, model, estimator etc.
      Python
      •
      MIT License
      •1•8•5•0•Updated Jul 24, 2024Jul 24, 2024

    • guardX

      Public
      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.
      Python
      •0•3•0•0•Updated May 31, 2024May 31, 2024

    • BOND

      Public
      This is the official code for L4DC 2024 paper "Real-Time Safe Control of Neural Network Dynamic Models with Sound Approximation"
      Julia
      •
      MIT License
      •0•1•0•0•Updated May 19, 2024May 19, 2024

    • NeuralVerification.jl

      Public
      Methods to soundly verify deep neural networks
      Julia
      •
      MIT License
      •50•4•0•0•Updated May 18, 2024May 18, 2024

    • Absolute-Policy-Optimization

      Public
      The source code of Absolute Policy Optimization
      Python
      •
      MIT License
      •0•4•0•0•Updated Feb 14, 2024Feb 14, 2024

    • Feedforward_Adaptation

      Public
      [CoRL 2023] Online Model Adaptation with Feedforward Compensation
      time-seriesoptimizationadaptationpredition
      Python
      •
      MIT License
      •1•3•0•0•Updated Oct 19, 2023Oct 19, 2023

    • safe_rl_bench

      Public
      Python
      •
      MIT License
      •5•1•0•0•Updated Oct 19, 2023Oct 19, 2023

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

      Public
      the code of ACC 2023, Safety Index Synthesis via Sum of Squares Programming
      MATLAB
      •0•1•0•0•Updated Sep 26, 2023Sep 26, 2023

    • RSSA-and-abstract-safe-control

      Public
      Jupyter Notebook
      •0•1•0•0•Updated Aug 24, 2023Aug 24, 2023

    • StateWise_Constrained_Policy_Optimization

      Public
      Python
      •
      MIT License
      •1•9•0•0•Updated Jun 29, 2023Jun 29, 2023

    • Robotic_LEGO_Assembly_and_Disassembly_from_Human_Demonstration

      Public
      This repo is the code deliverable for 2022-23 Siemens project phase 2.
      C++
      •0•4•0•0•Updated Jun 11, 2023Jun 11, 2023

    • Microscopic_Epidemic_Model

      Public
      C++
      •0•0•1•0•Updated Mar 16, 2023Mar 16, 2023

    • Autoenv

      Public
      An integrated environment for autonomous driving simulation
      Python
      •
      MIT License
      •1•4•1•3•Updated Mar 15, 2023Mar 15, 2023

    • CCHP_ICRA23

      Public
      MIT License
      •0•0•0•0•Updated Dec 1, 2022Dec 1, 2022

    • Human-Robot-Handover

      Public
      MATLAB
      •
      GNU General Public License v2.0
      •1•2•0•0•Updated Aug 9, 2022Aug 9, 2022

    • UA-ISSA-CoRL22

      Public
      Python
      •0•0•0•0•Updated Jun 20, 2022Jun 20, 2022