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