Extreme learning ANFIS for control applications. - G. N. Pillai; Jagtap Pushpak; M. Germin Nisha (CICA, 2014)

Complex Laplacian based algorithm for output synchronization of multi-agent systems using internal model principle. - Pushpak Jagtap; Aniket Deshpande 001; Navdeep M. Singh; Faruk Kazi 001 (CCA, 2015)

On incremental stability of time-delayed stochastic control systems. - Pushpak Jagtap; Majid Zamani 001 (Allerton, 2016)

Backstepping design for incremental stability of stochastic Hamiltonian systems. - Pushpak Jagtap; Majid Zamani 001 (CDC, 2016)

Prediction of ground motion parameters using randomized ANFIS (RANFIS). - Sonia Thomas; G. N. Pillai; Kirat Pal; Pushpak Jagtap (Appl. Soft Comput., 2016)

Complex Laplacian besed Cascade Formulation for Formation Control of Large Multi-Agent Network. - Aniket Deshpande 001; Pushpak Jagtap; Navadeep Singh; Arun Mahindrakar (CoRR, 2016)

QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers. - Pushpak Jagtap; Majid Zamani 001 (QEST, 2017)

Automated Synthesis of Infinite Dimensional Stochastic Hybrid Systems. - Pushpak Jagtap; Majid Zamani 001 (CoRR, 2017)

Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems. - Adnane Saoud; Pushpak Jagtap; Majid Zamani 001; Antoine Girard (ADHS, 2018)

Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. - Pushpak Jagtap; Sadegh Soudjani; Majid Zamani 001 (ATVA, 2018)

Complex Laplacian-based Distributed control for Multi-Agent Network. - Aniket Deshpande 001; Pushpak Jagtap; Prashant Bansode; Arun Mahindrakar; Navdeep M. Singh (Adv. Complex Syst., 2018)

Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps. - Pushpak Jagtap; Majid Zamani 001 (IEEE Trans. Autom. Control., 2018)

Verification of Switched Stochastic Systems via Barrier Certificates. - Mahathi Anand; Pushpak Jagtap; Majid Zamani 001 (CDC, 2019)

Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes. - Pushpak Jagtap; George J. Pappas; Majid Zamani 001 (CDC, 2020)

dtControl: decision tree learning algorithms for controller representation. - Pranav Ashok; Mathias Jackermeier; Pushpak Jagtap; Jan Kretínský; Maximilian Weininger; Majid Zamani 001 (HSCC, 2020)

Compositional construction of control barrier functions for interconnected control systems. - Pushpak Jagtap; Abdalla Swikir; Majid Zamani 001 (HSCC, 2020)

Symbolic models for retarded jump-diffusion systems. - Pushpak Jagtap; Majid Zamani 001 (Autom., 2020)

Numerical Estimation of Invariance Entropy for Nonlinear Control Systems. - Mahendra Singh Tomar; Christoph Kawan; Pushpak Jagtap; Majid Zamani 001 (CoRR, 2020)

Software Fault Tolerance for Cyber-Physical Systems via Full System Restart. - Pushpak Jagtap; Fardin Abdi; Matthias Rungger; Majid Zamani 001; Marco Caccamo (ACM Trans. Cyber Phys. Syst., 2020)

dtControl: decision tree learning algorithms for controller representation (HSCC 20 Repeatability Evaluation Package). - Pranav Ashok; Mathias Jackermeier; Pushpak Jagtap; Jan Kretínský; Maximilian Weininger; Majid Zamani 001 (Zenodo, 2020)

Distributed Consensus of Stochastic Multi-agent Systems with Prescribed Performance Constraints. - Pushpak Jagtap; Dimos V. Dimarogonas (CDC, 2021)

Formal safety verification of unknown continuous-time systems: a data-driven approach. - Abolfazl Lavaei; Ameneh Nejati; Pushpak Jagtap; Majid Zamani 001 (HSCC, 2021)

Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions. - Niloofar Jahanshahi; Pushpak Jagtap; Majid Zamani 001 (IEEE Control. Syst. Lett., 2021)

Formal Synthesis of Stochastic Systems via Control Barrier Certificates. - Pushpak Jagtap; Sadegh Soudjani; Majid Zamani 001 (IEEE Trans. Autom. Control., 2021)

Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach. - Adnane Saoud; Pushpak Jagtap; Majid Zamani 001; Antoine Girard (IEEE Trans. Control. Netw. Syst., 2021)

Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. - Siyuan Liu 002; Adnane Saoud; Pushpak Jagtap; Dimos V. Dimarogonas; Majid Zamani 001 (CDC, 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 Approximately Bisimilar Abstractions of Interconnected Systems. - Sadek Belamfedel Alaoui; Saharsh; Pushpak Jagtap; Adnane Saoud (CoRR, 2022)

Reinforcement Learning for Signal Temporal Logic using Funnel-Based Approach. - Naman Saxena; Sandeep Gorantla; Pushpak Jagtap (CoRR, 2022)

Symbolic Models for Interconnected Impulsive Systems. - Sadek Belamfedel Alaoui; Adnane Saoud; Pushpak Jagtap; Abdalla Swikir (CDC, 2023)

Temporal Logic Resilience for Cyber-Physical Systems. - Adnane Saoud; Pushpak Jagtap; Sadegh Soudjani (CDC, 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 (CDC, 2023)

Temporal Waypoint Navigation of Multi-UAV Payload System using Barrier Functions. - Nishanth Rao; Suresh Sundaram 002; Pushpak Jagtap (ECC, 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 (INTERSPEECH, 2023)

Autonomous Exploration Using Ground Robots with Safety Guarantees. - David Smith Sundarsingh; Jay Bhagiya; Jeel Chatrola; Pushpak Jagtap (IROS, 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)

On Incremental Stability of Interconnected Switched Systems. - Bhabani Shankar Dey; Indra Narayan Kar; Pushpak Jagtap (CoRR, 2023)

Funnel-based Control for Reach-Avoid-Stay Specifications. - Ratnangshu Das; Pushpak Jagtap (CoRR, 2023)

Approximation-Free Prescribed Performance Control With Prescribed Input Constraints. - Pankaj Kumar Mishra; Pushpak Jagtap (IEEE Control. Syst. Lett., 2023)

Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach. - Ameneh Nejati; Abolfazl Lavaei; Pushpak Jagtap; Sadegh Soudjani; Majid Zamani 001 (IEEE Trans. Autom. Control., 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 (ACC, 2024)

Learning a Formally Verified Control Barrier Function in Stochastic Environment. - Manan Tayal; Hongchao Zhang; Pushpak Jagtap; Andrew Clark 001; Shishir Kolathaya (CDC, 2024)

Spatiotemporal Tubes for Reach-Avoid-Stay Specifications✱. - Ratnangshu Das; Pushpak Jagtap (HSCC, 2024)

Poster Abstract: Signal Temporal Logic Compliant Motion Planning using Reinforcement Learning. - Tushar Dilip Kurne; Manas Sashank Juvvi; Vaishnavi J; Pushpak Jagtap (ICCPS, 2024)

Safe Multi-Robot Exploration using Symbolic Control. - Manas Sashank Juvvi; David Smith Sundarsingh; Ratnangshu Das; Pushpak Jagtap (ICRA, 2024)

Barrier Functions Inspired Reward Shaping for Reinforcement Learning. - Nilaksh; Abhishek Ranjan; Shreenabh Agrawal; Aayush Jain; Pushpak Jagtap; Shishir Kolathaya (ICRA, 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)

Temporal Logic Resilience for Dynamical Systems. - Adnane Saoud; Pushpak Jagtap; Sadegh Soudjani (CoRR, 2024)

Real Time Safety of Fixed-wing UAVs using Collision Cone Control Barrier Functions. - Aryan Agarwal; Ravi Agrawal; Manan Tayal; Pushpak Jagtap; Shishir Kolathaya (CoRR, 2024)

Semi-Supervised Safe Visuomotor Policy Synthesis using Barrier Certificates. - Manan Tayal; Aditya Singh; Pushpak Jagtap; Shishir Kolathaya (CoRR, 2024)

Backstepping Design for Incremental Input-to-State Stabilization of Unknown Systems. - David Smith Sundarsingh; Bhabani Shankar Dey; Pushpak Jagtap (CoRR, 2024)

RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints. - Saksham Gautam; Ratnangshu Das; Pushpak Jagtap (CoRR, 2024)

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach. - P. Sangeerth; Abolfazl Lavaei; Pushpak Jagtap (CoRR, 2024)

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems. - Ratnangshu Das; Ahan Basu; Pushpak Jagtap (CoRR, 2024)

Prescribed-Time Reach-Avoid-Stay Specifications for Unknown Systems: A Spatiotemporal Tubes Approach. - Ratnangshu Das; Pushpak Jagtap (IEEE Control. Syst. Lett., 2024)

Funnel-Based Reward Shaping for Signal Temporal Logic Tasks in Reinforcement Learning. - Naman Saxena; Sandeep Gorantla; Pushpak Jagtap (IEEE Robotics Autom. Lett., 2024)

Approximation- and Chattering-Free Quasi Sliding-Mode Control for Unknown Systems. - Pankaj Kumar Mishra; Pushpak Jagtap (IEEE Trans. Circuits Syst. II Express Briefs, 2024)

Approximation-Free Control for Signal Temporal Logic Specifications Using Spatiotemporal Tubes. - Ratnangshu Das; Subhodeep Choudhury; Pushpak Jagtap (IEEE Control. Syst. Lett., 2025)

Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems. - Ahan Basu; Bhabani Shankar Dey; Pushpak Jagtap (CoRR, 2025)

Tracking Control of Euler-Lagrangian Systems with Prescribed State, Input, and Temporal Constraints. - Chidre Shravista Kashyap; Pushpak Jagtap; Jishnu Keshavan (CoRR, 2025)

Formally Verified Neural Network Controllers for Incremental Input-to-State Stability of Unknown Discrete-Time Systems. - Ahan Basu; Bhabani Shankar Dey; Pushpak Jagtap (CoRR, 2025)

Control Barrier Functions for Prescribed-time Reach-Avoid-Stay Tasks using Spatiotemporal Tubes. - Ratnangshu Das; Pranav Bakshi; Pushpak Jagtap (CoRR, 2025)

Spatiotemporal Tubes based Controller Synthesis against Omega-Regular Specifications for Unknown Systems. - Ratnangshu Das; Aiman Aatif Bayezeed; Pushpak Jagtap (CoRR, 2025)

Reach-Avoid-Stay-Collision-Avoidance Negotiation Framework for Multi-Agent Systems via Spatiotemporal Tubes. - Mohd. Faizuddin Faruqui; Ratnangshu Das; Ravi Kumar L; Pushpak Jagtap (CoRR, 2025)

CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions. - Manan Tayal; Aditya Singh; Pushpak Jagtap; Shishir Kolathaya (CoRR, 2025)

Neural Incremental Input-to-State Stable Control Lyapunov Functions for Unknown Continuous-time Systems. - Ahan Basu; Bhabani Shankar Dey; Pushpak Jagtap (CoRR, 2025)

Approximation-Free Control for Unknown Systems With Performance and Input Constraints. - Pankaj Kumar Mishra; Pushpak Jagtap (IEEE Trans. Autom. Control., 2025)

Quantification of Sim2Real Gap via Neural Simulation Gap Function. - P. Sangeerth; Pushpak Jagtap (CoRR, 2025)

Stochastic Neural Control Barrier Functions. - Hongchao Zhang; Manan Tayal; Jackson Cox; Pushpak Jagtap; Shishir Kolathaya; Andrew Clark 001 (CoRR, 2025)

Approximation-free Control of Unknown Euler-Lagrangian Systems under Input Constraints. - Ratnangshu Das; Pushpak Jagtap (CoRR, 2025)

Scalable Learning of High-Dimensional Demonstrations with Composition of Linear Parameter Varying Dynamical Systems. - Shreenabh Agrawal; Hugo T. M. Kussaba; Lingyun Chen; Allen Emmanuel Binny; Abdalla Swikir; Pushpak Jagtap; Sami Haddadin (CoRR, 2025)

Signal Temporal Logic Compliant Co-design of Planning and Control. - Manas Sashank Juvvi; Tushar Dilip Kurne; Vaishnavi J; Shishir Kolathaya; Pushpak Jagtap (CoRR, 2025)

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions. - Aditya Singh; Aastha Mishra; Manan Tayal; Shishir Kolathaya; Pushpak Jagtap (CoRR, 2025)