This is my archive

AeroAstro soars in zero gravity

Learning to stabilize high-dimensional unknown systems using lyapunov-guided exploration

MIT engineers are on a failure-finding mission

NL2TL: Transforming natural languages to temporal logics using large language models

Signal temporal logic neural predictive control

Shield model predictive path integral: A computationally efficient robust MPC method using control barrier functions

Model-free neural fault detection and isolation for safe control

Astro Portraits: Pointing the lens toward our future

A step toward safe and reliable autopilots for flying

MIT engineers devise a recipe for improving any autonomous robotic system

1 2