Pushpak Jagtap

Assistant Professor

Indian Instite of Science (IISc), Banglore


Pushpak Jagtap is an Assistant Professor at the Robert Bosch Center for Cyber-Physical Systems in the Indian Institute of Science (IISc) Bangalore, India. Before joining IISc, he was a postdoctoral researcher at the Division of Decision and Control Systems in the KTH Royal Institute of Technology, Sweden. He received PhD in electrical and computer engineering from the Technical University of Munich, Germany and an M.Tech. in electrical engineering from the Indian Institute of Technology, Roorkee, India. He was recently awarded the prestigious Google India Research Award 2021 for his research works in the field of robotics.

Click here for a detailed CV.

Follow me on twitter to keep informed with my latest research and projects.


  • Automated Verification and Synthesis of Control Systems
  • Nonlinear Control Systems
  • Control of Cyber-Physical Systems
  • Stochastic Systems
  • Multi-Agent Systems
  • Machine Learning for Control


  • Ph.D. in Electrical and Computer Engineering, 2020

    Technical Uiversity of Munich, Munich, Germany

  • M.Tech in Systems and Control, 2014

    India Institute of Technology (IIT), Roorkee, India

  • B.E. in Instrumentation Engineering, 2011

    Mumbai University, India



Postdoctoral Researcher

Division of Decision and Control Systems, KTH Royal Institute of Technology

Jul 2020 – Aug 2021 Sweden
  • Advisor: Prof. Dimos Dimarogonas
  • Research Topic: Control of Multi-Agent Systems under Temporal Logic Specifications.

Research Assistant

Institute of Informatics, Ludwig Maximilian University of Munich (LMU)

Jul 2019 – Jun 2020 Germany
  • Advisor: Prof. Majid Zamani
  • Research Topic: Automated Synthesis of Cyber-Physical Systems: A Compositional Approach.

Visiting Researcher

Department of Electrical and Systems Engineering, University of Pennsylvania

Feb 2019 – Apr 2019 USA
  • Advisor: Prof. George J. Pappas
  • Research Topic: Temporal Logic Synthesis and Verification of Unknown Dynamical Systems.

Visiting Researcher

School of Computing, Newcastle University

Jun 2018 – Jul 2018 UK
  • Advisor: Prof. Sadegh Soudjani
  • Research Topic: Formal Synthesis and Verification of Stochastic Systems via Barrier Functions.

Project Team Leader

TUM International Graduate School of Science and Engineering (IGSSE)

Jan 2018 – Jun 2020 Germany

Visiting Researcher

Laboratoire des Signaux et Systemes (L2S), CNRS

Mar 2017 – Apr 2017 France
  • Advisor: Antoine Girard
  • Research Topic: Compositional Synthesis of controller for Interconnected Control Systems.

Research Assistant

Department of Electrical and Computer Engineering, Technical University of Munich (TUM)

Jan 2016 – Jun 2019 Germany
  • Advisor: Prof. Majid Zamani
  • Research Topic: Automated Synthesis of Stochastic Control Systems.

Senior Research Fellow

Center of Excellence in Complex and Nonlinear Dynamical Systems (CoE-CNDS), VJTI

Sep 2014 – Sep 2015 India
  • PI: Prof. Faruk Kazi, co-PI Prof. N. M. Singh
  • Projects:
    1. Modelling, Simulation, and Motion Control of Autonomous Underwater Vehicle. (Collaboration: Larsen and Toubro Limited, India),
    2. Passivity-based Control of Under-Actuated Nonlinear Dynamical Systems (Collaboration: CNRS, France),
    3. Synchronization and Coordination Control of Nonlinear Heterogeneous Multi-Agent Systems (Collaboration: Indian Institute of Technology, Madras, India).

Research Topics

Data-driven Verification and Synthesis of Unknown Systems

There are many complex cyber-physical systems where the precise model description can not be derived analytically and therefore one …

Formal Verification and Synthesis using Barrier Functions

Barrier functions play an analogical role for safety to that of Lyapunov functions for stability. Such functions have the potential to …

Platform-Aware Synthesis of Embedded Control Software

There is a large semantic gap between control algorithms - making idealistic assumptions on the implementation platform (e.g., …

Compositional Abstraction-based Synthesis

As the complexity of constructing symbolic models grows exponentially in the number of state variables in the concrete system, the …

Synthesis via State-Set Discretization-free Finite Abstractions

The conventional finite abstraction based synthesis techniques suffer from the issue of the curse of dimensionality (i.e., the …

Incremental Stability for Complex Nonlinear Systems

The notion of incremental stability focuses on the convergence of trajectories with respect to each other rather than with respect to …

Software Tools

dtControl: Decision Tree Learning Algorithms for Controller Representation (Python toolbox)

dtControl provides the memory-efficient, compact, understandable representation and the efficient determinization for the formal …

QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers (C++ toolbox)

QUEST is an open source software tool, developed in C++, for automated controller synthesis for incrementally input-to-state stable …

Extreme-ANFIS (MATLAB toolbox)

A MATLAB toolbax for fast and highly accurate learning of neuro-fuzzy systems for regression, MIMO modelling, and Multi-class …


Some of the people I worked with

Majid Zamani
University of Colorado Boulder, USA
Dimos Dimargonas
KTH Royal Institute of Technology, Sweden
Sadegh Soudjani
Newcastle University, UK
Antoine Girard
Senior Researcher
CNRS, France
George J. Pappas
University of Pennsylvania, USA
Marco Caccamo
Technical University of Munich, Germany
Jan Křetínský
Technical University of Munich, Germany
Faruk Kazi
VJTI, Mumbai, India
Adnane Saoud
Postdoc Researcher
University of California at Santa Cruz, USA
Abdalla Swikir
Postdoc Researcher
Technical University of Munich, Germany