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

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

• We welcome Deepesh, Shashank MA, Shashank M, Aiman, Puneeth, Shashwat, Sahishnu who have joined us as interns!

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

• One paper got accepted at IROS 2023

• We welcome Mahendra Singh Tomar who has joined as a Post-Doctoral Researcher

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

More News