Formal Control and Autonomous Systems Lab
Robert-Bosch Centre for Cyber-Physical Systems (RBCCPS)
Indian Institute of Science (IISc), Bangalore
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