Avatar

Pushpak Jagtap

Assistant Professor

Indian Instite of Science (IISc), Banglore

Biography

Hi, I am Pushpak Jagtap. I am an Assistant Professor at Robert Bosch Center for Cyber-Physical System in Indian Institute of Science, Banglore, India.

Click here for a detailed CV.

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

Interests

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

Education

  • 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

Experience

 
 
 
 
 

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 …

Collaborators

Some of the people I worked with

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

Contact