Research Articles
Research Articles
2025
R Das, A Basu, P Jagtap, Spatiotemporal Tubes for Temporal Reach-Avoid Stay Tasks in Unknown Systems, IEEE Transactions on Automatic Control, 2025
BS Dey, IN Kar, and P Jagtap, On Incremental Stability of Interconnected Switched Systems, International Journal of Systems Science, 2025
R Das, S Choudhury, P Jagtap, Approximation-free Control for Signal Temporal Logic Specifications using Spatiotemporal Tubes, IEEE Control Systems Letters, 2025
R Das, P Jagtap, Approximation-free Control of Unknown Euler-Lagrangian Systems under Input Constraints, submitted
H Zhang, M Tayal, J Cox, P Jagtap, S Kolathaya, A Clark, Stochastic Neural Control Barrier Functions, submitted
A Basu, BS Dey, P Jagtap, Neural controller for Incremental Stability of unknown continuous-time systems, submitted
M Tayal, A Singh, P Jagtap, S Kolathaya, CP-NCBF: A conformal prediction-based approach to synthesize verified neural control barrier functions, under review
A Basu, R Das and P Jagtap, Spatiotemporal Tubes based Control of Unknown Multi-Agent Systems for Temporal Reach-Avoid-Stay Tasks, submitted
R Das, AA Bayezeed, P Jagtap, Spatiotemporal Tubes based Controller Synthesis against Omega-Regular Specifications for Unknown Systems, submitted
S. Kashyap, P. Jagtap, Jishnu Keshavan, Tracking Control of Euler‑Lagrangian Systems with Prescribed State, Input and Temporal Constraints, submitted
A Basu, BS Dey, P Jagtap, Formally verified neural network controllers for incremental input-to-state stability of unknown discrete-time systems, submitted
J Vaishnavi, A Basu, P Jagtap, Neural Network-based Co-design of Output-Feedback Control Barrier Function and Observer, submitted
2024
P. Jagtap and D. V. Dimarogonas, Controller Synthesis against Omega-Regular Specifications: A Funnel-based Control Approach, International Journal of Robust and Nonlinear Control, 2024
P. K. Mishra and P. Jagtap, Approximation- and Chattering-free Quasi Sliding Mode Control for Unknown Systems, IEEE Transactions on Circuits and Systems II: Express Briefs, 2024
P. K. Mishra and P. Jagtap, Approximation-free control for unknown systems with performance and input constraints, IEEE Transactions on Automatic Control, 2024
R. Das and P. Jagtap, Prescribed‑time Reach‑Avoid‑Stay Specifications for Unknown Systems: A Spatiotemporal Tubes Approach, IEEE Control Systems Letters, 2024
M. Tayal, B. G. Goswami, K. Rajgopal, R. Singh, T. Rao, J. Keshavan, P. Jagtap, S. Kolathaya, A Collision Cone Approach for Control Barrier Functions, submitted
Gopika R., S. Sawarkar, V. Resmi, R. R. Warier, P. Jagtap and S. C. Dhongdi, Prescribed Performance Multi‑Cluster Consensus Control of Euler Lagrangian Systems over Matrix‑Weighted Graphs, submitted
2023
N. Saxena, S. Gorantla and P. Jagtap, Funnel-Based Reward Shaping for Signal Temporal Logic Tasks in Reinforcement Learning, in IEEE Robotics and Automation Letters
A. Nejati, A. Lavaei, P. Jagtap, S. Soudjani, and M. Zamani, Formal verification of unknown discrete- and continuous-time systems: A data-driven approach, IEEE Transactions on Automatic Control (special issue in Learning and Control), 2023.
P. K. Mishra and P. Jagtap, Approximation-free Prescribed Performance Control with Prescribed Input Constraints, IEEE Control Systems Letters (IEEE-LCSS), 2023 [link] [preprint]
2025
M Tayal, A Singh, P Jagtap, S N Yadukumar, Semi-Supervised Safe Visuomotor Policy Synthesis using Barrier Certificates, The 64th IEEE Conference on Decision and Control (CDC) 2025
S Seyedmonir, Y A Si, R Das, P Jagtap, A Saoud, S Soudjani, Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach, The 64th IEEE Conference on Decision and Control (CDC) 2025
Y A Si, R Das, S Seyedmonir, S Soudjani, P Jagtap, A Saoud, Maximally Resilient Controllers under Temporal Logic Specifications, The 64th IEEE Conference on Decision and Control (CDC) 2025
T. D. Kurne, M. S. Juvvi, J. Vaishnavi, P. Jagtap, Signal Temporal Logic Compliant Co-design of Planning and Control, The IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) 2025
M Faruqui, R Das, P Jagtap, Reach-Avoid-Stay-Collision-Avoidance Negotiation Framework for Multi-Agent Systems via Spatiotemporal Tubes, European Control Conference 2025
R Das, P Bakshi, P Jagtap, Control Barrier Functions for Prescribed-time Reach-Avoid-Stay Tasks using Spatiotemporal Tubes, European Control Conference 2025
A Basu, BS Dey, P Jagtap, Formally Verified Neural Lyapunov function for Incremental Input-to-State stability of Unknown Systems, European Control Conference 2025
P. Sangeerth, P. Jagtap, A Formal Quantitation of Sim2Real Gap via Neural Simulation Gap Function, European Control Conference 2025
P. Sangeerth, A. Lavaei, P. Jagtap, Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach, American Control Conference 2025
2024
R. Das and P. Jagtap, Funnel‑based Control for Reach‑Avoid‑Stay Specifications, The 10th Indian Control Conference (ICC) 2024 (Best Paper Award)
T. D. Kurne, M. S. Juvvi, J. Vaishnavi, P. Jagtap, Signal Temporal Logic Compliant Motion Planning using Reinforcement Learning, 15th ACM/IEEE International Conference on Cyber‑Physical Systems (ICCPS), 2024 [poster]
R. Das and P. Jagtap, Spatiotemporal Tubes for Reach‑Avoid‑Stay Specifications, ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2024 [poster]
M. S. Juvvi, D. S. Sundarsingh, R. Das, P. Jagtap, Safe Multi‑Robot Exploration using Symbolic Control, IEEE International Conference on Robotics and Automation (ICRA), 2024
A. Ranjan, Nilaksh, S. Agrawal, A. Jain, P. Jagtap, S. Kolathaya, Barrier Functions Inspired Reward Shaping for Reinforcement Learning, IEEE International Conference on Robotics and Automation (ICRA), 2024
B. G. Goswami, M. Tayal, K. Rajgopal, P. Jagtap, S. Kolathaya, Collision Cone Control Barrier Functions: Experimental Validation on UGVs for Kinematic Obstacle Avoidance, American Control Conference (ACC), 2024
G. R., P. Jagtap, V. Resmi, R. R. Warier, and S. C. Dhongdi, Prescribed Performance Control for Multi‑Cluster Consensus using Matrix‑Weighted Interactions, IFAC PapersOnLine, 2024
M. S. Juvvi, T. D. Kurne, J. Vaishnavi, S. Kolathaya, P. Jagtap, Signal Temporal Logic Compliant Co‑design of Planning and Control, submitted
D. S. Sundersingh and P. Jagtap, Controller for Incremental Input‑to‑State Practical Stabilization of Unknown Euler‑Lagrange Systems, submitted
2023
G. R., P. Jagtap, V. Resmi, R. R. Warier, and S. C. Dhongdi, Multi-cluster Consensus with Prescribed Performance Constraints, Submitted
B. S. Dey, I. N. Kar, and P. Jagtap, On Incremental Stability of Cascaded Switched Nonlinear Systems, Submitted
D. S. Sundarsingh, J. Bhagiya, Saharsh, J. Chatrola, A. Saoud, and P. Jagtap, Controller Synthesis for Local and Global Specifications in Multi-Agent Systems, The 62nd IEEE Conference on Decision and Control (CDC) CDC 2023
Adnane Saoud, Pushpak Jagtap, and Sadegh Soudjani, Temporal Logic Resilience for Cyber-Physical Systems, The 62nd IEEE Conference on Decision and Control (CDC) CDC 2023
S. B. Alaoui, A. Swikir, A. Saoud, and P. Jagtap, Symbolic Models for Interconnected Impulsive Systems, The 62nd IEEE Conference on Decision and Control (CDC) CDC 2023
J. Bhagiya, J. Chatrola, D. S. Sundarsingh and P. Jagtap, Autonomous Exploration using Ground Robots with Safety Guarantees, IROS 2023
L. Bansal, S. P. Dubagunta, M. Chetlur, P. Jagtap, and A. Ganapathiraju, On the Efficacy and Noise-Robustness of Jointly Learned Speech Emotion and Automatic Speech Recognition, Interspeech 2023
N. Saxena, G. Sandeep, and P. Jagtap, Reinforcement Learning for Signal Temporal Logic using a Funnel-Based Approach, The IEEE Indian Control Conference (ICC), 2023 [preprint]
S. B. Alaoui, Saharsh, P. Jagtap, A. Saoud, Compositional Approximately Bisimilar Abstractions of Interconnected Systems, The IFAC world congress 2023 [preprint]
N. Rao, S. Sundaram, and P. Jagtap, Temporal Waypoint Navigation of Multi-UAV Payload System using Barrier Functions, 21st European Control Conference (ECC) 2023 [preprint]
2022
P. K. Mishra and P. Jagtap, On Controller Design for Unknown Nonlinear Systems with Prescribed Performance and Input Constraints, The Indian Control Conference (ICC) 2022
S. Gorantla, J. Bhagiya, J. Chatrola, A. Saoud, and P. Jagtap, Funnel-based Reachability Control of Unknown Nonlinear Systems using Gaussian Processes, The Indian Control Conference (ICC) 2022 [preprint]
S. Liu, A. Saoud, P. Jagtap, D. V. Dimarogonas, and M. Zamani, Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts, The 61st IEEE Conference on Decision and Control (CDC) 2022 [preprint]
2021