Skip to content

@intelligent-control-lab Intelligent Control Lab

Change the repository type filter

All

    Repositories list

    61 repositories

    • Robot_Digital_Twin

      Public
      CMake
      •
      MIT License
      •1•3•0•0•Updated Dec 15, 2025Dec 15, 2025

    • Stream_Motion_Controller

      Public
      This repository contains the C++ controller for controlling the Fanuc robots using the Stream Motion interface.
      C++
      •
      MIT License
      •1•6•0•0•Updated Dec 15, 2025Dec 15, 2025

    • Robotic_Lego_Manipulation

      Public
      C++
      •
      MIT License
      •3•6•0•1•Updated Dec 15, 2025Dec 15, 2025

    • Literature

      Public
      List of literature for ICL
      TeX
      •2•2•0•0•Updated Dec 1, 2025Dec 1, 2025

    • git-hooks

      Public
      Reusable Git hook templates for enforcing safe and consistent workflows across repositories. Includes scripts to prevent direct pushes to main, install hooks automatically, and standardize local development practices for students and collaborators.
      Shell
      •0•0•0•0•Updated Nov 25, 2025Nov 25, 2025

    • Cersyve.jl

      Public
      Julia
      •
      MIT License
      •0•2•0•1•Updated Nov 24, 2025Nov 24, 2025

    • 16-714

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

    • people

      Public
      1•0•0•0•Updated Oct 30, 2025Oct 30, 2025

    • 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
      •1•12•0•0•Updated Oct 6, 2025Oct 6, 2025

    • APEX-MR

      Public
      C++
      •
      MIT License
      •2•20•0•0•Updated Sep 4, 2025Sep 4, 2025

    • Implicit_Safe_Set_Algorithm

      Public
      Python
      •
      MIT License
      •2•13•0•0•Updated Aug 7, 2025Aug 7, 2025

    • spark

      Public
      A modular toolkit for benchmarking safe robotic control systems.
      Python
      •
      MIT License
      •3•41•0•0•Updated Jul 21, 2025Jul 21, 2025

    • ModelVerification.jl

      Public
      Jupyter Notebook
      •
      MIT License
      •3•16•0•1•Updated Jul 21, 2025Jul 21, 2025

    • safe-pde-control

      Public
      This is the official code for L4DC 2025 paper "Safe PDE Boundary Control with Neural Operators"
      Jupyter Notebook
      •
      MIT License
      •0•5•0•0•Updated May 27, 2025May 27, 2025

    • Task_Motion_Planning_with_HLTL_and_GCS

      Public
      HTML
      •0•12•0•0•Updated May 2, 2025May 2, 2025

    • Incremental-Koopman

      Public
      Python
      •1•15•0•0•Updated Apr 9, 2025Apr 9, 2025

    • sia-quadruped-varying-dynamics

      Public
      Other
      •1•0•0•0•Updated Mar 5, 2025Mar 5, 2025

    • guard

      Public
      Python
      •
      MIT License
      •7•58•0•0•Updated Jan 19, 2025Jan 19, 2025

    • Tri-Institute-Project

      Public
      The implementation of Tri-Institute project, where industrial robot arm is applied for automatic weld bead grinding
      C++
      •0•3•0•0•Updated Jan 17, 2025Jan 17, 2025

    • 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
      •1•4•0•0•Updated Jan 3, 2025Jan 3, 2025

    • Composable_Agent_Toolbox

      Public
      Benchmark for planner, controller, model, estimator etc.
      Python
      •
      MIT License
      •1•8•5•0•Updated Dec 7, 2024Dec 7, 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•8•0•0•Updated Nov 26, 2024Nov 26, 2024

    • PhysicsAwareCombinatorialASP

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

    • StableLego

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

    • LEGO_APP

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated Oct 1, 2024Oct 1, 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•1•0•0•Updated Sep 24, 2024Sep 24, 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
      •51•4•0•0•Updated May 18, 2024May 18, 2024

    • Absolute-Policy-Optimization

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