Pushpak Jagtap

Postdoctoral Researcher

KTH Royal Institute of Technology, Sweden

Biography

Hi, I am Pushpak Jagtap. Currently, I am a postdoctoral researcher working with Prof. Dimos Dimarogonas at the Division of Decision and Control Systems at the KTH Royal Institute of Technology, Stockholm, Sweden. As a postdoctoral researcher, I am working on Wallenberg AI, Autonomous Systems, and Software Program (WASP) project funded by the Knut and Alice Wallenberg Foundation.

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
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 – Present Sweden

Advisor: Prof. Dimos Dimarogonas
Research Topic: Leader-follower hybrid control and task planning for multi-agent systems under spatiotemporal 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

PI: Prof. Majid Zamani, co-PI: Prof. Samarjit Chakraborty, Prof. Javier Esparza, Prof. Jan Křetínský
Project: Platform-Aware Synthesis of Embedded Control Software.

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 …

Selected Publications

Click here to see the list of all publications (Category wise).

P. Jagtap, G. J. Pappas, M. Zamani (2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).

Project

N. Jahanshahi*, P. Jagtap*, M. Zamani (2020). Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions. IEEE Control Systems Letters (L-CSS)(* equally contributed).

Preprint PDF Project DOI

A. Saoud*, P. Jagtap*, M. Zamani, A. Girard (2020). Compositional abstraction and controller synthesis for interconnected systems: An approximate composition approach. IEEE Transactions on Control of Network Systems (TCNS), (* equally contributed).

Preprint Project

P. Jagtap*, A. Swikir*, M. Zamani (2020). Compositional construction of control barrier functions for interconnected control systems. 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC) (* equally contributed).

Preprint PDF Project DOI

P. Jagtap, S. Soudjani, M. Zamani (2020). Formal synthesis of stochastic systems via control barrier certificates. IEEE Transactions on Automatic Control(TAC).

Preprint PDF Project DOI

P. Jagtap, F. Abdi, M. Rungger, M. Zamani, M. Caccamo (2020). Software fault tolerance for cyber-physical systems via full system restart. ACM Transactions on Cyber-Physical Systems (TCPS).

Preprint PDF Project DOI

P. Jagtap, M. Zamani (2019). Symbolic models for retarded jump-diffusion systems. Automatica.

Preprint PDF Project Project DOI

P. Jagtap, M. Zamani (2017). QUEST: A tool for state-space quantization-free synthesis of symbolic controllers. 14th International Conference on Quantitative Evaluation of SysTems (QEST), Lecture Notes in Computer Science 10503.

PDF Code Project DOI

P. Jagtap, M. Zamani (2017). Backstepping design for incremental stability of stochastic Hamiltonian systems with jumps. IEEE Transactions on Automatic Control.

Preprint PDF Project DOI