Scholar
Pushpak Jagtap
Google Scholar ID: Szd98jUAAAAJ
Assistant Professor, Robert Bosch Center for Cyber-Physical Systems, IISc Bangalore, India
Formal Verification and Synthesis
Formal Methods
Control of Cyber-Physical Systems
Stochastic
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,028
H-index
17
i10-index
27
Publications
20
Co-authors
61
list available
Contact
Email
pushpak@iisc.ac.in
GitHub
Open ↗
Publications
25 items
From Non-Rigid to Rigid: Safe Acquisition of Rigid Communication Graphs under Limited Sensing
2026
Cited
0
Input-Constrained Spatiotemporal Tubes for Safe Navigation of Unknown Euler-Lagrange Systems in Dynamic Environments
2026
Cited
0
Learning Spatiotemporal Tubes for Full Class of Signal Temporal Logic Tasks for Control of Unknown Systems under Input Constraints
2026
Cited
0
Learning from Demonstration via Spatiotemporal Tubes for Unknown Euler-Lagrange Systems
2026
Cited
0
Sliding Mode Control for Safe Trajectory Tracking with Moving Obstacles Avoidance: Experimental Validation on Planar Robots
2026
Cited
0
Spatiotemporal Tubes for Probabilistic Temporal Reach-Avoid-Stay Task in Uncertain Dynamic Environment
2025
Cited
0
Learning Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks using Physics-Informed Neural Networks
2025
Cited
0
Real-Time Spatiotemporal Tubes for Dynamic Unsafe Sets
2025
Cited
0
Load more
Resume (English only)
Academic Achievements
- Published a paper in IEEE Transactions on Control of Networked Systems (IEEE TCNS) 2025
- Won Best Paper Award at the 10th Indian Control Conference 2024
- Multiple papers accepted for presentation at top international conferences such as ICC 2025, IEEE TAC 2025, CDC 2025, etc.
Research Experience
- Researcher at FOCAS Lab
- Involved in the development of several robotic platforms
- Focuses on designing controllers capable of performing complex tasks with formal guarantees
Education
PhD - Indian Institute of Science (IISc), Bangalore
Advisor: Not specified
Time: Not specified
Field: Control Theory and Automation
Background
Research Interests: Formal control theory, design of autonomous systems, application of machine learning in control systems.
Fields: Mechanical Engineering, Electrical Engineering, Computer Science.
Miscellany
Personal interests include exploring how new technologies can improve the quality of everyday life.
Co-authors
61 total
Majid Zamani
Associate Professor, University of Colorado Boulder
Sadegh Soudjani
Professor and Chair in Cyber-Physical Systems | Max Planck Institute | University of Birmingham
Adnane Saoud
University of California, Berkeley
Shishir N. Y. Kolathaya
Assistant Professor, Cyber Physical Systems, Computer Science & Automation, IISc
Ratnangshu Das
PhD Scholar, Indian Institute of Science, Bengaluru
Manan Tayal
Indian Institute of Science (IISc), Bangalore
Co-author 7
Co-author 8