Skip to content

@intelligent-control-lab Intelligent Control Lab

Change the repository type filter

All

    Repositories list

    66 repositories

    • BrickSim

      Public
      A Physics-Based Simulator for Manipulating Interlocking Brick Assemblies
      C++
      •
      MIT License
      •1•46•2•1•Updated Apr 22, 2026Apr 22, 2026

    • ENAP_controller

      Public
      Official Implement of "Emergent Neural Automaton Policies: Learning Symbolic Structure from Visuomotor Trajectories"
      formal-methodsrobot-learningneuro-symbolic-learning
      formal-methodsrobot-learningneuro-symbolic-learning
      Python
      •0•3•0•0•Updated Apr 16, 2026Apr 16, 2026

    • ENAP-project-webpage

      Public
      Website for ENAP
      HTML
      •0•0•0•0•Updated Apr 15, 2026Apr 15, 2026

    • humanoid_stoppability

      Public
      0•0•0•0•Updated Apr 2, 2026Apr 2, 2026

    • Literature

      Public
      List of literature for ICL
      TeX
      •2•2•0•0•Updated Mar 21, 2026Mar 21, 2026

    • StableLego

      Public
      Python
      •
      MIT License
      •1•18•1•0•Updated Mar 10, 2026Mar 10, 2026

    • Koopman-Scaling

      Public
      Scaling Law of Neural Koopman Operators
      neural-networkkoopman-operatorscaling-law
      neural-networkkoopman-operatorscaling-law
      C++
      •1•6•0•0•Updated Mar 2, 2026Mar 2, 2026

    • spark

      Public
      A modular toolkit for benchmarking safe robotic control systems.
      Python
      •
      Other
      •6•53•0•0•Updated Feb 12, 2026Feb 12, 2026

    • people

      Public
      1•0•0•0•Updated Jan 31, 2026Jan 31, 2026

    • APEX-MR

      Public
      C++
      •
      MIT License
      •1•22•0•0•Updated Jan 23, 2026Jan 23, 2026

    • 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 30, 2025Dec 30, 2025

    • Robotic_Lego_Manipulation

      Public
      C++
      •
      MIT License
      •3•7•0•1•Updated Dec 23, 2025Dec 23, 2025

    • Robot_Digital_Twin

      Public
      CMake
      •
      MIT License
      •2•6•0•0•Updated Dec 23, 2025Dec 23, 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 au…
      Shell
      •0•0•0•0•Updated Nov 25, 2025Nov 25, 2025

    • Cersyve.jl

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

    • 16-714

      Public
      Course material for 16-714 Advanced Control for Robotics
      MATLAB
      •0•6•1•0•Updated Nov 17, 2025Nov 17, 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
      •2•13•0•0•Updated Oct 6, 2025Oct 6, 2025

    • Implicit_Safe_Set_Algorithm

      Public
      Python
      •
      MIT License
      •3•15•0•0•Updated Aug 7, 2025Aug 7, 2025

    • ModelVerification.jl

      Public
      Jupyter Notebook
      •
      MIT License
      •4•19•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•6•0•0•Updated May 27, 2025May 27, 2025

    • Task_Motion_Planning_with_HLTL_and_GCS

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

    • Incremental-Koopman

      Public
      Python
      •1•21•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++
      •1•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•1•0•Updated Nov 26, 2024Nov 26, 2024

    • PhysicsAwareCombinatorialASP

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

    • LEGO_APP

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated Oct 1, 2024Oct 1, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.