Pinned Repositories
architect_rss_22
Automated Robust Co-design for Cyberphysical Systems
certrol
dcrl
Density Constrained Reinforcement Learning
density_planner
Official code for "Density Planner: Minimizing Collision Risk in Motion Planning with Dynamic Obstacles using Density-based Reachability"
gcbf-pytorch
PyTorch Official Implementation of CoRL 2023 Paper: Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance Multi-agent Control
gcbfplus
Jax Official Implementation of Paper: S Zhang*, Oswin So*, K Garg, C Fan: "GCBF+: A Neural Graph Control Barrier Function Framework for Distributed Safe Multi-Agent Control".
jax-f16
Jax version of F16 dynamics
macbf
Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates
neural_clbf
Toolkit for learning controllers based on robust control Lyapunov barrier functions
sablas
REALM's Repositories
MIT-REALM/neuriss
Official Inplementation of L4DC paper: Compositional Neural Certificates for Networked Dynamical Systems
MIT-REALM/certrol
MIT-REALM/dcrl
Density Constrained Reinforcement Learning
MIT-REALM/macbf
Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates
MIT-REALM/nerf-cbf
MIT-REALM/architect_rss_22
Automated Robust Co-design for Cyberphysical Systems
MIT-REALM/nn-density-reach
Project page for Learning density distribution of reachable states for autonomous systems
MIT-REALM/architect-iros2022
Project website for our IROS 2022 paper: Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic
MIT-REALM/architect-rss2022
Project website for our RSS 2022 paper: Certifiable Robot Design Optimization using Differentiable Programming
MIT-REALM/project-website-template
A template for making static websites to showcase a research project
MIT-REALM/realm-locus-ral-icra-22
Project webpage for the Locus project presented at RA-L/ICRA 2022
MIT-REALM/crazyswarm
A Large Quadcopter Swarm
MIT-REALM/C3M-new
A reimplementation of the CoRL'20 paper "Learning Certified Control Using Contraction Metric", by Dawei Sun, Susmit Jha, and Chuchu Fan.
MIT-REALM/crazyflie-firmware
The main firmware for the Crazyflie Nano Quadcopter, Crazyflie Bolt Quadcopter and Roadrunner Positioning Tag.
MIT-REALM/LMSC
MIT-REALM/sablas
MIT-REALM/ccm
Learning Certified Control Using Contraction Metric (CoRL 2020)