Developing a Reactive Model-based Programming Language

The MIT Model-based Embedded & Robotic Systems (MERS) group is performing research into controlling autonomous systems using high-level, model-based and task directed languages. To that end, we are developing the Reactive Model-based Programming Language (RMPL). RMPL unifies autonomous plant description, control programs, temporal constraints, and more into a single language. We are looking for UROP students passionate about making programming autonomous systems easier and more accessible. The specific tasks for a UROP depend on the student's interests. Possibilities include: adding a graphical user interface to simplify the construction of plant models and temporal networks, extending the language to allow the expression of non-linear state constraints, and more. If you wish to apply or are looking for further information about the project, please send your résumé and questions to Pedro Santana (