Pushpak Jagtap

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 69

Top Topics

Reinforcement Learning

Gaussian Process

Top Venues

IEEE Control. Syst. Lett.

Publications

Nilaksh Nilaksh, Abhishek Ranjan, Shreenabh Agrawal, Aayush Jain, Pushpak Jagtap, Shishir Kolathaya
Barrier Functions Inspired Reward Shaping for Reinforcement Learning. CoRR (2024)
Manan Tayal, Bhavya Giri Goswami, Karthik Rajgopal, Rajpal Singh, Tejas Rao, Jishnu Keshavan, Pushpak Jagtap, Shishir Kolathaya
A Collision Cone Approach for Control Barrier Functions. CoRR (2024)
Pankaj Kumar Mishra, Pushpak Jagtap
Approximation- and Chattering-Free Quasi Sliding-Mode Control for Unknown Systems. IEEE Trans. Circuits Syst. II Express Briefs 71 (6) (2024)
Ratnangshu Das, Pushpak Jagtap
Spatiotemporal Tubes for Reach-Avoid-Stay Specifications✱. HSCC (2024)
Ratnangshu Das, Pushpak Jagtap
Prescribed-Time Reach-Avoid-Stay Specifications for Unknown Systems: A Spatiotemporal Tubes Approach. IEEE Control. Syst. Lett. 8 (2024)
Nilaksh, Abhishek Ranjan, Shreenabh Agrawal, Aayush Jain, Pushpak Jagtap, Shishir Kolathaya
Barrier Functions Inspired Reward Shaping for Reinforcement Learning. ICRA (2024)
Naman Saxena, Sandeep Gorantla, Pushpak Jagtap
Funnel-Based Reward Shaping for Signal Temporal Logic Tasks in Reinforcement Learning. IEEE Robotics Autom. Lett. 9 (2) (2024)
Manan Tayal, Hongchao Zhang, Pushpak Jagtap, Andrew Clark, Shishir Kolathaya
Learning a Formally Verified Control Barrier Function in Stochastic Environment. CoRR (2024)
Tushar Dilip Kurne, Manas Sashank Juvvi, Vaishnavi J, Pushpak Jagtap
Poster Abstract: Signal Temporal Logic Compliant Motion Planning using Reinforcement Learning. ICCPS (2024)
Aryan Agarwal, Ravi Agrawal, Manan Tayal, Pushpak Jagtap, Shishir Kolathaya
Real Time Safety of Fixed-wing UAVs using Collision Cone Control Barrier Functions. CoRR (2024)
Manas Sashank Juvvi, David Smith Sundarsingh, Ratnangshu Das, Pushpak Jagtap
Safe Multi-Robot Exploration using Symbolic Control. ICRA (2024)
Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
Temporal Logic Resilience for Dynamical Systems. CoRR (2024)
Ameneh Nejati, Abolfazl Lavaei, Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach. IEEE Trans. Autom. Control. 68 (5) (2023)
Bhabani Shankar Dey, Indra Narayan Kar, Pushpak Jagtap
On Incremental Stability of Interconnected Switched Systems. CoRR (2023)
Ratnangshu Das, Pushpak Jagtap
Funnel-based Control for Reach-Avoid-Stay Specifications. CoRR (2023)
Lokesh Bansal, S. Pavankumar Dubagunta, Malolan Chetlur, Pushpak Jagtap, Aravind Ganapathiraju
On the Efficacy and Noise-Robustness of Jointly Learned Speech Emotion and Automatic Speech Recognition. INTERSPEECH (2023)
Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
Temporal Logic Resilience for Cyber-Physical Systems. CDC (2023)
David Smith Sundarsingh, Jay Bhagiya, Saharsh, Jeel Chatrola, Adnane Saoud, Pushpak Jagtap
Controller Synthesis for Local and Global Specifications in Multi-Agent Systems. CoRR (2023)
Pankaj Kumar Mishra, Pushpak Jagtap
Approximation-free control for unknown systems with performance and input constraints. CoRR (2023)
Bhavya Giri Goswami, Manan Tayal, Karthik Rajgopal, Pushpak Jagtap, Shishir Kolathaya
Collision Cone Control Barrier Functions: Experimental Validation on UGVs for Kinematic Obstacle Avoidance. CoRR (2023)
David Smith Sundarsingh, Jay Bhagiya, Saharsh, Jeel Chatrola, Adnane Saoud, Pushpak Jagtap
Scalable Distributed Controller Synthesis for Multi-Agent Systems Using Barrier Functions and Symbolic Control. CDC (2023)
David Smith Sundarsingh, Jay Bhagiya, Jeel Chatrola, Pushpak Jagtap
Autonomous Exploration Using Ground Robots with Safety Guarantees. IROS (2023)
Sadek Belamfedel Alaoui, Adnane Saoud, Pushpak Jagtap, Abdalla Swikir
Symbolic Models for Interconnected Impulsive Systems. CDC (2023)
Sadek Belamfedel Alaoui, Adnane Saoud, Pushpak Jagtap, Abdalla Swikir
Symbolic Models for Interconnected Impulsive Systems. CoRR (2023)
Pankaj Kumar Mishra, Pushpak Jagtap
Approximation- and Chattering-free Quasi Sliding Mode Control for Unknown Systems. CoRR (2023)
Lokesh Bansal, S. Pavankumar Dubagunta, Malolan Chetlur, Pushpak Jagtap, Aravind Ganapathiraju
On the Efficacy and Noise-Robustness of Jointly Learned Speech Emotion and Automatic Speech Recognition. CoRR (2023)
Pankaj Kumar Mishra, Pushpak Jagtap
Approximation-Free Prescribed Performance Control With Prescribed Input Constraints. IEEE Control. Syst. Lett. 7 (2023)
Nishanth Rao, Suresh Sundaram, Pushpak Jagtap
Temporal Waypoint Navigation of Multi-UAV Payload System using Barrier Functions. ECC (2023)
Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. CDC (2022)
Pushpak Jagtap, Dimos V. Dimarogonas
Distributed Consensus of Stochastic Multi-agent Systems with Prescribed Performance Constraints. CoRR (2022)
Nishanth Rao, Suresh Sundaram, Pushpak Jagtap
Temporal Waypoint Navigation of Multi-UAV Payload System using Barrier Functions. CoRR (2022)
Naman Saxena, Sandeep Gorantla, Pushpak Jagtap
Reinforcement Learning for Signal Temporal Logic using Funnel-Based Approach. CoRR (2022)
Sandeep Gorantla, Jeel Chatrola, Jay Bhagiya, Adnane Saoud, Pushpak Jagtap
Funnel-based Reachability Control of Unknown Nonlinear Systems using Gaussian Processes. CoRR (2022)
Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. CoRR (2022)
Pankaj K. Mishra, Pushpak Jagtap
Approximation-free Prescribed Performance Control with Prescribed Input Constraints. CoRR (2022)
Belamfedel Alaoui Sadek, Saharsh, Pushpak Jagtap, Adnane Saoud
Compositional Approximately Bisimilar Abstractions of Interconnected Systems. CoRR (2022)
Niloofar Jahanshahi, Pushpak Jagtap, Majid Zamani
Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions. IEEE Control. Syst. Lett. 5 (1) (2021)
Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach. IEEE Trans. Control. Netw. Syst. 8 (2) (2021)
Abolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, Majid Zamani
Formal safety verification of unknown continuous-time systems: a data-driven approach. HSCC (2021)
Niloofar Jahanshahi, Pushpak Jagtap, Majid Zamani
Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions. CoRR (2021)
Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
Formal Synthesis of Stochastic Systems via Control Barrier Certificates. IEEE Trans. Autom. Control. 66 (7) (2021)
Pushpak Jagtap, Dimos V. Dimarogonas
Distributed Consensus of Stochastic Multi-agent Systems with Prescribed Performance Constraints. CDC (2021)
Mahathi Anand, Pushpak Jagtap, Majid Zamani
Verification of Switched Stochastic Systems via Barrier Certificates. CoRR (2021)
Pushpak Jagtap, Abdalla Swikir, Majid Zamani
Compositional Construction of Control Barrier Functions for Interconnected Control Systems. CoRR (2020)
Mahendra Singh Tomar, Christoph Kawan, Pushpak Jagtap, Majid Zamani
Numerical Estimation of Invariance Entropy for Nonlinear Control Systems. CoRR (2020)
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
dtControl: decision tree learning algorithms for controller representation. HSCC (2020)
Pushpak Jagtap, George J. Pappas, Majid Zamani
Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes. CDC (2020)
Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach. CoRR (2020)
Pushpak Jagtap, Abdalla Swikir, Majid Zamani
Compositional construction of control barrier functions for interconnected control systems. HSCC (2020)
Pushpak Jagtap, George J. Pappas, Majid Zamani
Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes. CoRR (2020)
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
dtControl: decision tree learning algorithms for controller representation. HSCC (2020)
Pushpak Jagtap, Fardin Abdi, Matthias Rungger, Majid Zamani, Marco Caccamo
Software Fault Tolerance for Cyber-Physical Systems via Full System Restart. ACM Trans. Cyber Phys. Syst. 4 (4) (2020)
Pushpak Jagtap, Majid Zamani
Symbolic models for retarded jump-diffusion systems. Autom. 111 (2020)
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
dtControl: Decision Tree Learning Algorithms for Controller Representation. CoRR (2020)
Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
Formal Synthesis of Stochastic Systems via Control Barrier Certificates. CoRR (2019)
Mahathi Anand, Pushpak Jagtap, Majid Zamani
Verification of Switched Stochastic Systems via Barrier Certificates. CDC (2019)
Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. CoRR (2018)
Aniket Deshpande, Pushpak Jagtap, Prashant Bansode, Arun Mahindrakar, Navdeep M. Singh
Complex Laplacian-based Distributed control for Multi-Agent Network. Adv. Complex Syst. 21 (5) (2018)
Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. ATVA (2018)
Pushpak Jagtap, Fardin Abdi, Matthias Rungger, Majid Zamani, Marco Caccamo
Software Fault Tolerance for Cyber-Physical Systems via Full System Restart. CoRR (2018)
Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems. ADHS (2018)
Pushpak Jagtap, Majid Zamani
Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps. IEEE Trans. Autom. Control. 63 (1) (2018)
Pushpak Jagtap, Majid Zamani
QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers. QEST (2017)
Pushpak Jagtap, Majid Zamani
Automated Synthesis of Infinite Dimensional Stochastic Hybrid Systems. CoRR (2017)
Aniket Deshpande, Pushpak Jagtap, Navadeep Singh, Arun Mahindrakar
Complex Laplacian besed Cascade Formulation for Formation Control of Large Multi-Agent Network. CoRR (2016)
Pushpak Jagtap, Majid Zamani
On incremental stability of time-delayed stochastic control systems. Allerton (2016)
Pushpak Jagtap, Majid Zamani
Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps. CoRR (2016)
Pushpak Jagtap, Majid Zamani
Backstepping design for incremental stability of stochastic Hamiltonian systems. CDC (2016)
Sonia Thomas, G. N. Pillai, Kirat Pal, Pushpak Jagtap
Prediction of ground motion parameters using randomized ANFIS (RANFIS). Appl. Soft Comput. 40 (2016)
Pushpak Jagtap, Aniket Deshpande, Navdeep M. Singh, Faruk Kazi
Complex Laplacian based algorithm for output synchronization of multi-agent systems using internal model principle. CCA (2015)