Formal Control and Autonomous Systems Lab

About Us

With the rise of robotics and autonomous systems, there is a need for robust, reliable, and safe controllers. Robotics and autonomous systems is an inherently multi-disciplinary field that requires expertise in Mechanical Engineering, Electrical Engineering and Computer Science. Despite advancements in this field, developing controllers for a robotic system is challenging, especially if it is complex, large and has multiple agents. We at the Formal Control and Autonomous Systems (FOCAS) lab work on interdisciplinary research, developing controllers and implementing them in hardware. 

Our research revolves around the following:

• Designing controllers for performing complex tasks along with formal guarantees.

• Developing robust algorithms that consider the practical constraints of the system and the environment to reduce the Sim2Real gap.

• Developing robust, intelligent, and safe data-driven control techniques using AI and machine learning algorithms

• Designing and building efficient robotic platforms

News

• Four papers got accepted at the 64th IEEE Conference on Decision and Control (CDC) 2025

• One technical note got accepted in IEEE Transaction of Automatic Control (IEEE TAC) 2025

• One paper got accepted at IROS 2025

• Four papers got accepted at the 23rd European Control Conference 2025

• One paper got accepted at the American Control Conference 2025.

• Our scholar Ratnangshu Das got the best paper award at the 10th Indian Control Conference 2024

• Two papers got accepted at the International Conference on Robotics and Automation (ICRA), 2024

• Three papers got accepted at The 62nd IEEE Conference on Decision and Control (CDC) CDC 2023

• One paper got accepted at IROS 2023

• Dr Pankaj K Mishra won Best Presentation Award at 14th EECS Research Students Symposium at IISc Bengaluru - 2023

More News