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
20 items
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
Spatiotemporal Tubes for Differential Drive Robots with Model Uncertainty
2025
Cited
0
Control Barrier Function for Unknown Systems: An Approximation-free Approach
2025
Cited
0
Incorporating Social Awareness into Control of Unknown Multi-Agent Systems: A Real-Time Spatiotemporal Tubes Approach
2025
Cited
0
Smooth Spatiotemporal Tube Synthesis for Prescribed-Time Reach-Avoid-Stay Control
2025
Cited
0
Periodic Event-Triggered Prescribed Time Control of Euler-Lagrange Systems under State and Input Constraints
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
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up