default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPushpak Jagtap
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j13]Ratnangshu Das
, Pushpak Jagtap:
Prescribed-Time Reach-Avoid-Stay Specifications for Unknown Systems: A Spatiotemporal Tubes Approach. IEEE Control. Syst. Lett. 8: 946-951 (2024)- [j12]Naman Saxena, Sandeep Gorantla, Pushpak Jagtap:
Funnel-Based Reward Shaping for Signal Temporal Logic Tasks in Reinforcement Learning. IEEE Robotics Autom. Lett. 9(2): 1373-1379 (2024) - [j11]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): 3081-3085 (2024) - [c26]Bhavya Giri Goswami, Manan Tayal, Karthik Rajgopal, Pushpak Jagtap, Shishir Kolathaya:
Collision Cone Control Barrier Functions: Experimental Validation on UGVs for Kinematic Obstacle Avoidance. ACC 2024: 325-331 - [c25]Ratnangshu Das, Pushpak Jagtap:
Spatiotemporal Tubes for Reach-Avoid-Stay Specifications✱. HSCC 2024: 28:1-28:2 - [c24]Tushar Dilip Kurne, Manas Sashank Juvvi, Vaishnavi J, Pushpak Jagtap:
Poster Abstract: Signal Temporal Logic Compliant Motion Planning using Reinforcement Learning. ICCPS 2024: 283-284 - [c23]Nilaksh, Abhishek Ranjan, Shreenabh Agrawal, Aayush Jain, Pushpak Jagtap, Shishir Kolathaya:
Barrier Functions Inspired Reward Shaping for Reinforcement Learning. ICRA 2024: 10807-10813 - [c22]Manas Sashank Juvvi, David Smith Sundarsingh, Ratnangshu Das, Pushpak Jagtap:
Safe Multi-Robot Exploration using Symbolic Control. ICRA 2024: 11619-11625 - [i34]Nilaksh Nilaksh, Abhishek Ranjan, Shreenabh Agrawal, Aayush Jain, Pushpak Jagtap, Shishir Kolathaya:
Barrier Functions Inspired Reward Shaping for Reinforcement Learning. CoRR abs/2403.01410 (2024) - [i33]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 abs/2403.07043 (2024) - [i32]Manan Tayal, Hongchao Zhang, Pushpak Jagtap, Andrew Clark, Shishir Kolathaya:
Learning a Formally Verified Control Barrier Function in Stochastic Environment. CoRR abs/2403.19332 (2024) - [i31]Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani:
Temporal Logic Resilience for Dynamical Systems. CoRR abs/2404.19223 (2024) - [i30]Aryan Agarwal, Ravi Agrawal, Manan Tayal, Pushpak Jagtap, Shishir Kolathaya:
Real Time Safety of Fixed-wing UAVs using Collision Cone Control Barrier Functions. CoRR abs/2407.19335 (2024) - [i29]Manan Tayal, Aditya Singh, Pushpak Jagtap, Shishir Kolathaya:
Semi-Supervised Safe Visuomotor Policy Synthesis using Barrier Certificates. CoRR abs/2409.12616 (2024) - 2023
- [j10]Pankaj Kumar Mishra, Pushpak Jagtap:
Approximation-Free Prescribed Performance Control With Prescribed Input Constraints. IEEE Control. Syst. Lett. 7: 1261-1266 (2023) - [j9]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): 3011-3024 (2023) - [c21]Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani:
Temporal Logic Resilience for Cyber-Physical Systems. CDC 2023: 2066-2071 - [c20]Sadek Belamfedel Alaoui, Adnane Saoud, Pushpak Jagtap, Abdalla Swikir:
Symbolic Models for Interconnected Impulsive Systems. CDC 2023: 5900-5905 - [c19]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: 6436-6441 - [c18]Nishanth Rao, Suresh Sundaram, Pushpak Jagtap:
Temporal Waypoint Navigation of Multi-UAV Payload System using Barrier Functions. ECC 2023: 1-6 - [c17]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: 1863-1867 - [c16]David Smith Sundarsingh, Jay Bhagiya, Jeel Chatrola, Pushpak Jagtap:
Autonomous Exploration Using Ground Robots with Safety Guarantees. IROS 2023: 9745-9750 - [i28]David Smith Sundarsingh, Jay Bhagiya, Saharsh, Jeel Chatrola, Adnane Saoud, Pushpak Jagtap:
Controller Synthesis for Local and Global Specifications in Multi-Agent Systems. CoRR abs/2304.01652 (2023) - [i27]Pankaj Kumar Mishra, Pushpak Jagtap:
Approximation- and Chattering-free Quasi Sliding Mode Control for Unknown Systems. CoRR abs/2304.11121 (2023) - [i26]Pankaj Kumar Mishra, Pushpak Jagtap:
Approximation-free control for unknown systems with performance and input constraints. CoRR abs/2304.11198 (2023) - [i25]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 abs/2305.12540 (2023) - [i24]Bhabani Shankar Dey, Indra Narayan Kar, Pushpak Jagtap:
On Incremental Stability of Interconnected Switched Systems. CoRR abs/2308.12746 (2023) - [i23]Ratnangshu Das, Pushpak Jagtap:
Funnel-based Control for Reach-Avoid-Stay Specifications. CoRR abs/2308.15803 (2023) - [i22]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 abs/2310.10839 (2023) - [i21]Sadek Belamfedel Alaoui, Adnane Saoud, Pushpak Jagtap, Abdalla Swikir:
Symbolic Models for Interconnected Impulsive Systems. CoRR abs/2312.17006 (2023) - 2022
- [c15]Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani:
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. CDC 2022: 2184-2189 - [i20]Pushpak Jagtap, Dimos V. Dimarogonas:
Distributed Consensus of Stochastic Multi-agent Systems with Prescribed Performance Constraints. CoRR abs/2203.03665 (2022) - [i19]Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani:
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. CoRR abs/2203.10041 (2022) - [i18]Sandeep Gorantla, Jeel Chatrola, Jay Bhagiya, Adnane Saoud, Pushpak Jagtap:
Funnel-based Reachability Control of Unknown Nonlinear Systems using Gaussian Processes. CoRR abs/2209.14015 (2022) - [i17]Pankaj Kumar Mishra, Pushpak Jagtap:
Approximation-free Prescribed Performance Control with Prescribed Input Constraints. CoRR abs/2210.06038 (2022) - [i16]Sadek Belamfedel Alaoui, Saharsh, Pushpak Jagtap, Adnane Saoud:
Compositional Approximately Bisimilar Abstractions of Interconnected Systems. CoRR abs/2211.08655 (2022) - [i15]Nishanth Rao, Suresh Sundaram, Pushpak Jagtap:
Temporal Waypoint Navigation of Multi-UAV Payload System using Barrier Functions. CoRR abs/2211.14261 (2022) - [i14]Naman Saxena, Sandeep Gorantla, Pushpak Jagtap:
Reinforcement Learning for Signal Temporal Logic using Funnel-Based Approach. CoRR abs/2212.03181 (2022) - 2021
- [j8]Niloofar Jahanshahi, Pushpak Jagtap, Majid Zamani:
Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions. IEEE Control. Syst. Lett. 5(1): 253-258 (2021) - [j7]Pushpak Jagtap, Sadegh Soudjani, Majid Zamani:
Formal Synthesis of Stochastic Systems via Control Barrier Certificates. IEEE Trans. Autom. Control. 66(7): 3097-3110 (2021) - [j6]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): 702-712 (2021) - [c14]Pushpak Jagtap, Dimos V. Dimarogonas:
Distributed Consensus of Stochastic Multi-agent Systems with Prescribed Performance Constraints. CDC 2021: 1911-1916 - [c13]Abolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, Majid Zamani:
Formal safety verification of unknown continuous-time systems: a data-driven approach. HSCC 2021: 29:1-29:2 - [i13]Niloofar Jahanshahi, Pushpak Jagtap, Majid Zamani:
Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions. CoRR abs/2109.11477 (2021) - [i12]Mahathi Anand, Pushpak Jagtap, Majid Zamani:
Verification of Switched Stochastic Systems via Barrier Certificates. CoRR abs/2109.12420 (2021) - 2020
- [j5]Pushpak Jagtap, Majid Zamani:
Symbolic models for retarded jump-diffusion systems. Autom. 111 (2020) - [j4]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): 47:1-47:20 (2020) - [c12]Pushpak Jagtap, George J. Pappas, Majid Zamani:
Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes. CDC 2020: 3699-3704 - [c11]Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani:
dtControl: decision tree learning algorithms for controller representation. HSCC 2020: 17:1-17:7 - [c10]Pushpak Jagtap, Abdalla Swikir, Majid Zamani:
Compositional construction of control barrier functions for interconnected control systems. HSCC 2020: 22:1-22:11 - [c9]Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani:
dtControl: decision tree learning algorithms for controller representation. HSCC 2020: 30:1-30:2 - [d1]Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani:
dtControl: decision tree learning algorithms for controller representation (HSCC 20 Repeatability Evaluation Package). Zenodo, 2020
- [i11]Pushpak Jagtap, Abdalla Swikir, Majid Zamani:
Compositional Construction of Control Barrier Functions for Interconnected Control Systems. CoRR abs/2002.00257 (2020) - [i10]Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard:
Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach. CoRR abs/2002.02014 (2020) - [i9]Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani:
dtControl: Decision Tree Learning Algorithms for Controller Representation. CoRR abs/2002.04991 (2020) - [i8]Mahendra Singh Tomar, Christoph Kawan, Pushpak Jagtap, Majid Zamani:
Numerical Estimation of Invariance Entropy for Nonlinear Control Systems. CoRR abs/2004.04779 (2020) - [i7]Pushpak Jagtap, George J. Pappas, Majid Zamani:
Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes. CoRR abs/2010.05818 (2020)
2010 – 2019
- 2019
- [c8]Mahathi Anand, Pushpak Jagtap, Majid Zamani:
Verification of Switched Stochastic Systems via Barrier Certificates. CDC 2019: 4373-4378 - [i6]Pushpak Jagtap, Sadegh Soudjani, Majid Zamani:
Formal Synthesis of Stochastic Systems via Control Barrier Certificates. CoRR abs/1905.04585 (2019) - 2018
- [j3]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): 1850015:1-1850015:15 (2018) - [j2]Pushpak Jagtap, Majid Zamani:
Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps. IEEE Trans. Autom. Control. 63(1): 255-261 (2018) - [c7]Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard:
Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems. ADHS 2018: 13-18 - [c6]Pushpak Jagtap, Sadegh Soudjani, Majid Zamani:
Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. ATVA 2018: 177-193 - [i5]Pushpak Jagtap, Sadegh Soudjani, Majid Zamani:
Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. CoRR abs/1807.00064 (2018) - [i4]Pushpak Jagtap, Fardin Abdi, Matthias Rungger, Majid Zamani, Marco Caccamo:
Software Fault Tolerance for Cyber-Physical Systems via Full System Restart. CoRR abs/1812.03546 (2018) - 2017
- [c5]Pushpak Jagtap, Majid Zamani:
QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers. QEST 2017: 309-313 - [i3]Pushpak Jagtap, Majid Zamani:
Automated Synthesis of Infinite Dimensional Stochastic Hybrid Systems. CoRR abs/1704.03690 (2017) - 2016
- [j1]Sonia Thomas, G. N. Pillai, Kirat Pal, Pushpak Jagtap:
Prediction of ground motion parameters using randomized ANFIS (RANFIS). Appl. Soft Comput. 40: 624-634 (2016) - [c4]Pushpak Jagtap, Majid Zamani:
On incremental stability of time-delayed stochastic control systems. Allerton 2016: 577-581 - [c3]Pushpak Jagtap, Majid Zamani:
Backstepping design for incremental stability of stochastic Hamiltonian systems. CDC 2016: 5367-5372 - [i2]Pushpak Jagtap, Majid Zamani:
Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps. CoRR abs/1605.05486 (2016) - [i1]Aniket Deshpande, Pushpak Jagtap, Navadeep Singh, Arun Mahindrakar:
Complex Laplacian besed Cascade Formulation for Formation Control of Large Multi-Agent Network. CoRR abs/1609.05520 (2016) - 2015
- [c2]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: 1811-1816 - 2014
- [c1]G. N. Pillai, Jagtap Pushpak, M. Germin Nisha:
Extreme learning ANFIS for control applications. CICA 2014: 7-14
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-18 20:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
