F9. (PI) Design of Feedback Controllers for Safe Operations of Autonomous Systems (ongoing)
Sponsor: SERB MATRICS
Funding: INR 6,60,000
Duration: 3 year (February 2020 - February 2023)
F8. (Faculty Advisor) Precise and protective agriculture with a cloud-based multi-UAV system (completed)
Sponsor: DST, LockHeed Martin and Tata Trusts
Funding: INR 11,00,000
Duration: 1 year (August 2019 - November 2020)
F7. (PI) Developing Safe and Secure Autonomous Cyber-Physical Systems (ongoing)
Sponsor: MHRD SPARC
Funding: INR 71,76,000
Duration: 2 years (June 2019 - May 2021)
F6. (PI) Max-Planck Partner Group with Max-Planck Institute for Software Systems (ongoing)
Sponsor: Max-Planck Society
Funding: EUR 100000
Duration: 5 years (January 2019 - December 2023)
F5. (PI) Automated Synthesis of Motion Plans for Large-Sclae Multi-Robot Systems from Complex Specifications (ongoing)
Sponsor: DRDO JCBCAT
Funding: INR 1,12,42,600
Duration: 3 years (November 2018 - October 2021)
F4. (PI) Formal Verification of Autopilot Software for UAVs (ongoing)
Sponsor: Indo-French Center for the Promotion of Advanced Research
Funding: INR 37,00,803
Duration: 3 years (November 2018 - October 2021)
F3. (Co-PI) FMSAFE: A Networked Centre for Formal Methods in Validation and Certification Procedures for Safety- Critical ICT Systems (completed)
Sponsor: MHRD IMPRINT Program and Indian Railways
Funding: INR 1,15,70,000
Duration: 3 years (April 2017 - April 2020)
F2. (PI) A Framework for Synthesizing Robust Motion Primitives for UAVs (completed)
Sponsor: DST SERB Early Career Research Award
Funding: INR 52,47,000
Duration: 3 years (September 2016 - September 2019)
F1. (PI) Formal Methods Assisted Software Development Frameworks for Complex Robotic Applications (completed)
Sponsor: IIT Kanpur Initiation Grant
Funding: INR 25,00,000
Duration: 2 Years (May 2016 - May 2018)
A2. (PI) Cloud-Assisted Receding Horizon Planning for Large Scale Multi-Robot Applications (completed)
Sponsor: Google Cloud Platform Research Award
Funding: USD 6000
Duration: 6 months (May 2019 - October 2019)
A2. (PI) Cloud-Assisted Receding Horizon Planning for Large Scale Multi-Robot Applications (completed)
Sponsor: Microsoft Azure Research Award
Funding: USD 20,000
Duration: 1 year (July 2017 - July 2018)
A1. (PI) An End-to-End Software Development Framework for Robot Swarm Applications (completed)
Sponsor: DAAD Research Stay Grant
Funding: EUR 4,525
Duration: 2 months (May 2016 - July 2016)