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

Our Missions

We look at autonomy through two complementary points of view:

  1. Given an autonomous system, how do we know whether it will accomplish its mission safely?
  2. 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.