PUSHPAK JAGTAP
ABOUT ME
I am currently an Assistant Professor in the Robert Bosch Center for Cyber-Physical Systems (RBCCPS) at the Indian Institute of Science (IISc), Bangalore, India. Before joining IISc, I was a postdoctoral researcher in the Division of Decision and Control Systems at the KTH Royal Institute of Technology, Sweden. I received PhD in electrical and computer engineering from the Technical University of Munich (TU Munich), Germany and an M.Tech. in electrical engineering from the Indian Institute of Technology (IIT), Roorkee, India, respectively. I was awarded the prestigious Google India Research Award 2021 for my work in robotics.
At RBCCPS, I am leading the Formal Control and Autonomous Systems (FOCAS) Lab. For more details, visit our lab website here.
Research Interests
Control of Cyber-Physical Systems
Robotics and Control
Learning-based Control
Formal Analysis and Control Methods
Safety-Critical Autonomous Systems
Control Theory (Nonlinear, Stochastic)
Spatio-Temporal Logic Tasks
Education
- PhD in Electrical and Computer Engineering, 2020
Technical University 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
Research
Safe Autonomy
There are many complex cyber-physical systems where the precise model description can not be derived analytically and therefore one …
Learnin-based Control
There are many complex cyber-physical systems where the precise model description can not be derived analytically and therefore one …
Control of Multi-agent Systems
There are many complex cyber-physical systems where the precise model description can not be derived analytically and therefore one …
Control of Constrained Nonlinear Systems
There are many complex cyber-physical systems where the precise model description can not be derived analytically and therefore one …
Control of Cyber-Physical Systems
There are many complex cyber-physical systems where the precise model description can not be derived analytically and therefore one …
CONTROL OF CYBER-PHYSICAL SYSTEMS
There are many complex cyber-physical systems where the precise model description can not be derived analytically and therefore one …
People
PhD Students
Postdoctoral Researchers
Research Staff
MTech Students/Interns and Others can be found on Lab Website
Alumni
- Mahendra Singh Tomar (Postdoctoral Research 2023) [Current position: Assistant Professor at BITS Pilani Goa]
- Jay Bhagiya (Research Staff 2022-23) [Current position: MS at Saarland University]
- Jeel Chatrola (Research Staff 2022-23) [Current position: MS Robotics at Worcester Polytechnic Institute]
Publication
- A. Nejati, A. Lavaei, P. Jagtap, and M. Zamani, “Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach,” IEEE Transaction on Automatic Control (TAC), 2023
- P. K. Mishra and P. Jagtap, “Approximation-free Prescribed Performance Control with Prescribed Input Constraints,” IEEE Control Systems Letters, 2023
- A. Saoud*, P. Jagtap*, M. Zamani, and A. Girard, “Compositional Abstraction and Controller Synthesis for Interconnected Systems: An Approximate Composition Approach,” IEEE Transactions on Control of Network Systems (TCNS), 2021 (*contributed equally)
- P. Jagtap, F. Abdi, M. Rungger, M. Zamani, and M. Caccamo, “Software Fault Tolerance for Cyber-Physical Systems via Full System Restart,” ACM Transactions on Cyber-Physical Systems (ACM-TCPS), 2020
- N. Jahanshahi*, P. Jagtap*, and M. Zamani, “Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions,” IEEE Control Systems Letters, 2020 (*contributed equally)
- P. Jagtap, S. Soudjani, and M. Zamani, “Formal Synthesis of Stochastic Systems via Control Barrier Certificates,” IEEE Transactions on Automatic Control (TAC), 2020
- P. Jagtap and M. Zamani, “Symbolic Models for Retarded Jump-Diffusion System,” Automatica, Elsevier 2020
- P. Jagtap and M. Zamani, “Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps,” IEEE Transactions on Automatic Control(TAC), 2018
- A. Deshpande, P. Jagtap, P. Bansode, A. Mahindrakar, and N. M. Singh, “Complex Laplacian-based Distributed Control for Multi-Agent Network,” Advances in Complex Systems, 2018
- S. Thomas, G.N. Pillai, K. Pal, and P. Jagtap, “Prediction of Ground Motion Parameters using Randomized ANFIS (RANFIS),” Applied Soft Computing, 2016
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
(2020). Control barrier functions for unknown nonlinear systems using Gaussian processes. 59th IEEE Conference on Decision and Control (CDC).
Teaching
January 2022
Funding And Collabaration
| Sl No | Project Title | Agency | Value in Rs.(Lacs) | Duration | PI/Co-PI/Investigator |
|---|---|---|---|---|---|
|
1 |
Institute Seed Grant for the Establishment of Advance Nanoelectronics Device & Circuit Research Laboratory |
IISc |
34 |
Oct 2013-Sep 2014 |
PI |
|
2 |
Text here |
2 |
2 |
2 |
2 |
Industrial Collaborations
Collaboration with Government organizations
Academic Collaborations
Selected News
- Appointed as Program Committee member of ICCPS 2024, July 2023
- Served as General Co-Chair of CyPhySS 2023, Jan 2023
- One Paper got accepted in IFAC World Conference 2023
- One Paper got accepted in IFAC World Conference 2023
- Appointed as Publicity Chair of conference ACODS 2024, Nov 2022
- Elected as an Executive Committee Member of Automatic Control & Dynamic Optimization Society (ACDOS), Nov 2022
- Received SERB Start-up Research Grant for two years, Sep 2022
- Received Google India Research Award (in the field of Robotics) 2021-22
- Click here for detailed News list
Honor & Award
- Recipient of Best Paper Award at EAI International Conference on Intelligent Transportation Systems (EAI-INTSYS), Dec 2021
- Recipient of Best Paper Award at EAI International Conference on Intelligent Transportation Systems (EAI-INTSYS), Dec 2021
- Nominated for Chancellor's Prize for Excellence in the PhD. Thesis 2020, at the University of Melbourne. May 2020
- Recipient of the Outstanding PhD. Thesis Work Grant in Cybernetics from IEEE System, Man, and Cybernetics Society, Nov 2019.
- Recipient of Best Student Paper Award Finalist at IEEE System, Man, and Cybernetics (SMC) Conference at Miyazaki, Japan, Oct 2018
- Recipient of Student Travel Grant to attend IEEE System, Man, and Cybernetics (SMC) Conference, Oct 2018
- Recipient of Best Paper Award at IEEE World Forum on Internet of Things (WF-IoT) in Singapore, Feb 2018
- Recipient of Melbourne International Fee Remission Scholarship (MIFRS) and Melbourne International Research Scholarship (MIRS), Nov'2014 - Aug'2018
- Recipient of Postgraduate Scholarship from Ministry of Human Resource and Development, India, July'2009 - June'2011
- Secured All India Rank 62 (98.83%ile) in Graduate Aptitude Test in Engineering (GATE) in Instrumentation Engineering, March 2009