mit-realm Goto Github PK
Name: REALM
Type: Organization
Bio: Reliable Autonomous Systems Lab at MIT
Location: United States of America
Blog: realm.mit.edu
Name: REALM
Type: Organization
Bio: Reliable Autonomous Systems Lab at MIT
Location: United States of America
Blog: realm.mit.edu
Project website for our IROS 2022 paper: Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic
Project website for our RSS 2022 paper: Certifiable Robot Design Optimization using Differentiable Programming
Code accompanying our 2023 CoRL paper, "A Bayesian approach to breaking things: efficiently predicting and repairing failure modes via sampling"
Automated Robust Co-design for Cyberphysical Systems
Project website for our CoRL 2023 paper. mit-realm.github.io/breaking-things
A reimplementation of the CoRL'20 paper "Learning Certified Control Using Contraction Metric", by Dawei Sun, Susmit Jha, and Chuchu Fan.
Learning Certified Control Using Contraction Metric (CoRL 2020)
[ICRA2024] A transformer-based controller learning safe autonomous tasks from demonstrations.
The main firmware for the Crazyflie Nano Quadcopter, Crazyflie Bolt Quadcopter and Roadrunner Positioning Tag.
A Large Quadcopter Swarm
Density Constrained Reinforcement Learning
Official code for "Density Planner: Minimizing Collision Risk in Motion Planning with Dynamic Obstacles using Density-based Reachability"
A joint-space velocity controller for the FR3
A template repository for projects that run on our Franka Research 3
PyTorch Official Implementation of CoRL 2023 Paper: Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance Multi-agent Control
Official website of our CoRL 2023 paper: S Zhang, K Garg, C Fan: "Neural Graph Control Barrier Functions Guided Distributed Collision-avoidance Multi-agent Control"
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".
ROS nodes for controlling the ground robots (F1tenth and Turtlebots)
Code for working with the vicon system in the high bay.
Learn to stabilize hybrid systems via a neural network controller and an RoA planner
Jax version of F16 dynamics
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.