Projects and Grants

1. Robotic Systems

     Duration: 2024-2025

     Funding Agency: ARTPARK

     Role: Dr. Pushpak Jagtap (Principal Investigator), Dr. Ravi Prakash (Co-PI)

2. Measuring, Analyzing, and Mitigating Sim‑to‑Real Gap

     Duration: 2022-2027

     Funding Agency: Siemens

     Role: Dr. Pushpak Jagtap (PI)

3. Safe AI: Formal Methods in AI/ML Techniques

     Duration: 2022-2027

     Funding Agency: Siemens

     Role: Dr. Pushpak Jagtap (PI)

4. Algorithmic Trust for IIoT Devices

     Duration: 2023-2024

     Funding Agency: Siemens

     Role: Dr. Pushpak Jagtap (PI)

5. Control of Unknown Systems against Complex Specifications

     Duration: 2022-2024

     Funding Agency: SERB, India

     Role: Dr. Pushpak Jagtap (PI)

6. Formal Guarantees for Learning‑based Control of Cyber‑Physical Systems

     Duration: 2021

     Funding Agency: Google India Research

     Role: Dr. Pushpak Jagtap (PI)

7. Control for Cyber‑Physical Systems‑Startup Grant

     Duration: 2021

     Funding Agency: IISc, Bangalore

     Role: Dr. Pushpak Jagtap (PI)