Pushpak Jagtap

According to our database, Pushpak Jagtap authored at least 46 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Funnel-Based Reward Shaping for Signal Temporal Logic Tasks in Reinforcement Learning.

Naman Saxena, Sandeep Gorantla, Pushpak Jagtap

IEEE Robotics Autom. Lett., February, 2024

Learning a Formally Verified Control Barrier Function in Stochastic Environment.

Manan Tayal, Hongchao Zhang, Pushpak Jagtap, Andrew Clark, Shishir Kolathaya

CoRR, 2024

A Collision Cone Approach for Control Barrier Functions.

Manan Tayal, Bhavya Giri Goswami, Karthik Rajgopal, Rajpal Singh, Tejas Rao, Jishnu Keshavan, Pushpak Jagtap, Shishir Kolathaya

CoRR, 2024

Barrier Functions Inspired Reward Shaping for Reinforcement Learning.

Nilaksh Nilaksh, Abhishek Ranjan, Shreenabh Agrawal, Aayush Jain, Pushpak Jagtap, Shishir Kolathaya

CoRR, 2024

2023

Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach.

Ameneh Nejati, Abolfazl Lavaei, Pushpak Jagtap, Sadegh Soudjani, Majid Zamani

IEEE Trans. Autom. Control., May, 2023

Approximation-Free Prescribed Performance Control With Prescribed Input Constraints.

Pankaj Kumar Mishra, Pushpak Jagtap

IEEE Control. Syst. Lett., 2023

Collision Cone Control Barrier Functions: Experimental Validation on UGVs for Kinematic Obstacle Avoidance.

Bhavya Giri Goswami, Manan Tayal, Karthik Rajgopal, Pushpak Jagtap, Shishir Kolathaya

CoRR, 2023

Funnel-based Control for Reach-Avoid-Stay Specifications.

Ratnangshu Das, Pushpak Jagtap

CoRR, 2023

On Incremental Stability of Interconnected Switched Systems.

Bhabani Shankar Dey, Indra Narayan Kar, Pushpak Jagtap

CoRR, 2023

On the Efficacy and Noise-Robustness of Jointly Learned Speech Emotion and Automatic Speech Recognition.

Lokesh Bansal, S. Pavankumar Dubagunta, Malolan Chetlur, Pushpak Jagtap, Aravind Ganapathiraju

CoRR, 2023

Approximation-free control for unknown systems with performance and input constraints.

Pankaj Kumar Mishra, Pushpak Jagtap

CoRR, 2023

Approximation- and Chattering-free Quasi Sliding Mode Control for Unknown Systems.

Pankaj Kumar Mishra, Pushpak Jagtap

CoRR, 2023

Controller Synthesis for Local and Global Specifications in Multi-Agent Systems.

David Smith Sundarsingh, Jay Bhagiya, Saharsh, Jeel Chatrola, Adnane Saoud, Pushpak Jagtap

CoRR, 2023

Autonomous Exploration Using Ground Robots with Safety Guarantees.

David Smith Sundarsingh, Jay Bhagiya, Jeel Chatrola, Pushpak Jagtap

IROS, 2023

Temporal Waypoint Navigation of Multi-UAV Payload System using Barrier Functions.

Nishanth Rao, Suresh Sundaram, Pushpak Jagtap

Proceedings of the European Control Conference, 2023

Scalable Distributed Controller Synthesis for Multi-Agent Systems Using Barrier Functions and Symbolic Control.

David Smith Sundarsingh, Jay Bhagiya, Saharsh, Jeel Chatrola, Adnane Saoud, Pushpak Jagtap

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Temporal Logic Resilience for Cyber-Physical Systems.

Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Symbolic Models for Interconnected Impulsive Systems.

Sadek Belamfedel Alaoui, Adnane Saoud, Pushpak Jagtap, Abdalla Swikir

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Reinforcement Learning for Signal Temporal Logic using Funnel-Based Approach.

Naman Saxena, Sandeep Gorantla, Pushpak Jagtap

CoRR, 2022

Compositional Approximately Bisimilar Abstractions of Interconnected Systems.

Sadek Belamfedel Alaoui, Saharsh, Pushpak Jagtap, Adnane Saoud

CoRR, 2022

Funnel-based Reachability Control of Unknown Nonlinear Systems using Gaussian Processes.

Sandeep Gorantla, Jeel Chatrola, Jay Bhagiya, Adnane Saoud, Pushpak Jagtap

CoRR, 2022

Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts.

Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach.

Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard

IEEE Trans. Control. Netw. Syst., 2021

Formal Synthesis of Stochastic Systems via Control Barrier Certificates.

Pushpak Jagtap, Sadegh Soudjani, Majid Zamani

IEEE Trans. Autom. Control., 2021

Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions.

Niloofar Jahanshahi, Pushpak Jagtap, Majid Zamani

IEEE Control. Syst. Lett., 2021

Formal safety verification of unknown continuous-time systems: a data-driven approach.

Abolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, Majid Zamani

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Distributed Consensus of Stochastic Multi-agent Systems with Prescribed Performance Constraints.

Pushpak Jagtap, Dimos V. Dimarogonas

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

Software Fault Tolerance for Cyber-Physical Systems via Full System Restart.

Pushpak Jagtap, Fardin Abdi, Matthias Rungger, Majid Zamani, Marco Caccamo

ACM Trans. Cyber Phys. Syst., 2020

Numerical Estimation of Invariance Entropy for Nonlinear Control Systems.

Mahendra Singh Tomar, Christoph Kawan, Pushpak Jagtap, Majid Zamani

CoRR, 2020

Symbolic models for retarded jump-diffusion systems.

Pushpak Jagtap, Majid Zamani

Autom., 2020

Compositional construction of control barrier functions for interconnected control systems.

Pushpak Jagtap, Abdalla Swikir, Majid Zamani

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

dtControl: decision tree learning algorithms for controller representation.

Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes.

Pushpak Jagtap, George J. Pappas, Majid Zamani

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

Verification of Switched Stochastic Systems via Barrier Certificates.

Mahathi Anand, Pushpak Jagtap, Majid Zamani

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps.

Pushpak Jagtap, Majid Zamani

IEEE Trans. Autom. Control., 2018

Complex Laplacian-based Distributed control for Multi-Agent Network.

Aniket Deshpande, Pushpak Jagtap, Prashant Bansode, Arun Mahindrakar, Navdeep M. Singh

Adv. Complex Syst., 2018

Temporal Logic Verification of Stochastic Systems Using Barrier Certificates.

Pushpak Jagtap, Sadegh Soudjani, Majid Zamani

Proceedings of the Automated Technology for Verification and Analysis, 2018

Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems.

Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Automated Synthesis of Infinite Dimensional Stochastic Hybrid Systems.

Pushpak Jagtap, Majid Zamani

CoRR, 2017

QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers.

Pushpak Jagtap, Majid Zamani

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

2016

Complex Laplacian besed Cascade Formulation for Formation Control of Large Multi-Agent Network.

Aniket Deshpande, Pushpak Jagtap, Navadeep Singh, Arun Mahindrakar

CoRR, 2016

Prediction of ground motion parameters using randomized ANFIS (RANFIS).

Sonia Thomas, G. N. Pillai, Kirat Pal, Pushpak Jagtap

Appl. Soft Comput., 2016

Backstepping design for incremental stability of stochastic Hamiltonian systems.

Pushpak Jagtap, Majid Zamani

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

On incremental stability of time-delayed stochastic control systems.

Pushpak Jagtap, Majid Zamani

Proceedings of the 54th Annual Allerton Conference on Communication, 2016

2015

Complex Laplacian based algorithm for output synchronization of multi-agent systems using internal model principle.

Pushpak Jagtap, Aniket Deshpande, Navdeep M. Singh, Faruk Kazi

Proceedings of the 2015 IEEE Conference on Control Applications, 2015

2014

Extreme learning ANFIS for control applications.

G. N. Pillai, Jagtap Pushpak, M. Germin Nisha

Proceedings of the 2014 IEEE Symposium on Computational Intelligence in Control and Automation, 2014