Welcome to REALM!
Welcome to the Reliable Autonomous Systems Lab at MIT (REALM)! We design, analyze and verify safe control systems. Our work lies at the intersection of control theory, machine learning, and formal methods, with a focus on safety in systems with nonlinear, high-dimensional and difficult-to-model dynamics.
Learn more about our organization, member groups and PI
- [Jan' 23]: Chuchu got AFOSR YIP Award
- [Jan' 23]: Chuchu got NSF CAREER Award
- [Jan' 23]: Two papers accepted at ICRA
- [Oct' 22]: Chuchu invited present at NCCR Symposium in Switzerland as part of IEEE CSS Day
- [Sept' 22]: Kunal Garg, Oswin So, Yongchao Chen, Mingxin Yu, Ruixiao Yang and Rujul Gandhi join REALM
- [Jun'22]: Chuchu gives a Keynote seminar at L4DC conference at Stanford University
We look at autonomy through two complementary points of view:
- Given an autonomous system, how do we know whether it will accomplish its mission safely?
- How can we use safety considerations to design better autonomous systems?
Currently, we are thinking a lot about how these questions can apply to learning-enabled autonomy but we are also interested in exploring these questions more broadly.