Reliable Autonomous Systems Lab at MIT (REALM)

29 posts

Reliable Autonomous Systems Lab at MIT (REALM) banner
Reliable Autonomous Systems Lab at MIT (REALM)

Reliable Autonomous Systems Lab at MIT (REALM)

@mit_REALM

Reliable Autonomous Systems Lab (REALM) @MIT. We design, analyze and verify safe control systems.

Cambridge, Massachusetts เข้าร่วม Eylül 2022
409 กำลังติดตาม161 ผู้ติดตาม
Reliable Autonomous Systems Lab at MIT (REALM)
By predicting a diverse set of possible failures prior to deployment, we can make sure robots of all sizes (from drones to power grids) stay safe. 🧵 (6/7)
Reliable Autonomous Systems Lab at MIT (REALM) tweet media
English
1
0
1
96
Reliable Autonomous Systems Lab at MIT (REALM) รีทวีตแล้ว
MIT School of Engineering
MIT School of Engineering@MITEngineering·
An @MITAeroAstro team developed a machine-learning technique that can autonomously fly a plane through a difficult “stabilize-avoid” scenario while avoiding obstacles. Read more at MIT News news.mit.edu/2023/safe-and-…
GIF
English
2
12
41
5.4K
Reliable Autonomous Systems Lab at MIT (REALM) รีทวีตแล้ว
KUNAL GARG
KUNAL GARG@kunalgarg94·
Great @l4dc_conf talk by @mit_REALM PhD student Songyuan Zhang
KUNAL GARG tweet media
English
0
2
3
619
Reliable Autonomous Systems Lab at MIT (REALM) รีทวีตแล้ว
KUNAL GARG
KUNAL GARG@kunalgarg94·
@mit_REALM dinner after @l4dc_conf day 1
KUNAL GARG tweet media
English
0
1
6
354
Reliable Autonomous Systems Lab at MIT (REALM)
Come to the poster sessions and oral presentations! Yue’s work will appear in Poster Session 1 while Songyuan’s will appear in Poster Session 2. Songyuan will provide a deeper introduction to his work on Friday at the “Oral Presentations 4” time slot. See you there! (2/2)
English
0
0
3
181
Reliable Autonomous Systems Lab at MIT (REALM)
REALM has two strong works being presented at @l4dc_conf this year. @YueMengTHU 's “Hybrid Systems Neural Control with Region-of-Attraction Planner” and Songyuan Zhang’s “Compositional Neural Certificates for Networked Dynamical Systems” will be presented! To learn more... (1/2)
English
1
1
8
609
Reliable Autonomous Systems Lab at MIT (REALM)
A huge number robotics problems can be modeled as hybrid dynamical systems, and these are known to be difficult to define controllers for. In @YueMengTHU ‘s new work (accepted to L4DC), we have developed a method for designing controllers for this important class of systems!
GIF
English
1
0
7
376
Reliable Autonomous Systems Lab at MIT (REALM)
Context: REALM has established its passion for differentiable simulation in several different results (see our work on Architect) and we were having a spirited discussion last week about how better sensor placement/design might be possible if we had a good (2/3)
English
1
0
0
108