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:


More News