Jagtap, Pushpak

1. Control Barrier Functions for Unknown Nonlinear Systems using Gaussian\n Processes
   2020/10/12 by Pushpak Jagtap, Jagtap, Pushpak, George J. Pappas +3 · 13 citations
   Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Gaussian Processes and Bayesian Inference #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Learning a Formally Verified Control Barrier Function in Stochastic Environment
   2024/03/28 by Manan Tayal, Tayal, Manan, Hongchao Zhang +7 · 13 citations
   Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #Fault Detection and Control Systems #Formal Methods in Verification #Robotics (cs.RO)
3. Temporal Logic Verification of Stochastic Systems Using Barrier Certificates
   2018/06/29 by Jagtap, Pushpak, Soudjani, Sadegh, Zamani, Majid · 3 citations
   #FOS: Electrical engineering #I.2.8 #Systems and Control (eess.SY) #electronic engineering #information engineering
4. Collision Cone Control Barrier Functions: Experimental Validation on UGVs for Kinematic Obstacle Avoidance
   2023/10/16 by Bhavya Giri Goswami, Manan Tayal, Goswami, Bhavya Giri +7 · 4 citations
   Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #FOS: Mathematics #Optimization and Control (math.OC) #Real-time simulation and control systems #Robotics (cs.RO) #Systems and Control (eess.SY) #Vehicle Dynamics and Control Systems #Vehicular Ad Hoc Networks (VANETs) #electronic engineering #information engineering
5. A Collision Cone Approach for Control Barrier Functions
   2024/03/11 by Manan Tayal, Bhavya Giri Goswami, Tayal, Manan +13 · 5 citations
   #FOS: Computer and information sciences #Robotics (cs.RO)
6. Symbolic Models for Retarded Jump-Diffusion Systems
   2017/04/12 by Jagtap, Pushpak, Zamani, Majid · 3 citations
   #93E99 #FOS: Electrical engineering #FOS: Mathematics #I.2.8 #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
7. Funnel-based Reward Shaping for Signal Temporal Logic Tasks in Reinforcement Learning
   2022/11/30 by Naman Saxena, Sandeep Gorantla, Saxena, Naman +3 · 4 citations
   Biochemistry, Genetics and Molecular Biology · Computer Science · #Artificial Intelligence (cs.AI) #Evolutionary Algorithms and Applications #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Machine Learning (cs.LG) #Receptor Mechanisms and Signaling #Systems and Control (eess.SY) #electronic engineering #information engineering
8. Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems
   2024/11/21 by Ratnangshu Das, Das, Ratnangshu, Ahan Basu +3 · 9 citations
   Computer Science · Engineering · Psychology · #Distributed Control Multi-Agent Systems #FOS: Computer and information sciences #FOS: Electrical engineering #Human-Automation Interaction and Safety #Robotics (cs.RO) #Robotics and Automated Systems #Systems and Control (eess.SY) #electronic engineering #information engineering
9. Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps
   2016/05/18 by Jagtap, Pushpak, Zamani, Majid · 2 citations
   #34K20 #37B25 #93E15 #FOS: Electrical engineering #FOS: Mathematics #G.3 #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
10. Approximation-free Prescribed Performance Control with Prescribed Input Constraints
    2022/10/12 by Pankaj Kumar Mishra, Pushpak Jagtap, Mishra, Pankaj K +1 · 2 citations
    Engineering · #Adaptive Control of Nonlinear Systems #Advanced Control Systems Optimization #Stability and Control of Uncertain Systems
11. Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach
    2020/02/05 by Saoud, Adnane, Jagtap, Pushpak, Zamani, Majid +1 · 2 citations
    #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
12. Synthesis of Partially Observed Jump-Diffusion Systems via Control\n Barrier Functions
    2021/09/23 by Niloofar Jahanshahi, Jahanshahi, Niloofar, Pushpak Jagtap +3 · 2 citations
    Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #Formal Methods in Verification #Fuel Cells and Related Materials #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
13. Semi-Supervised Safe Visuomotor Policy Synthesis using Barrier Certificates
    2024/09/19 by Manan Tayal, Tayal, Manan, Singh, Aditya +4 · 6 citations
    Computer Science · Medicine · #Botulinum Toxin and Related Neurological Disorders #FOS: Computer and information sciences #FOS: Electrical engineering #Multimodal Machine Learning Applications #Robotics (cs.RO) #Systems and Control (eess.SY) #Topological and Geometric Data Analysis #electronic engineering #information engineering
14. CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions
    2025/03/18 by Manan Tayal, Aditya Singh, Tayal, Manan +5 · 7 citations
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Autonomous Vehicle Technology and Safety #Vehicle Dynamics and Control Systems
15. Software Fault Tolerance for Cyber-Physical Systems via Full System Restart
    2018/12/09 by Jagtap, Pushpak, Abdi, Fardin, Rungger, Matthias +2 · 1 citation
    #B.1.3 #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
16. On Incremental Stability of Interconnected Switched Systems
    2023/08/24 by Bhabani Shankar Dey, Dey, Bhabani Shankar, Indra Narayan Kar +3 · 2 citations
    Engineering · #Control and Stability of Dynamical Systems #FOS: Electrical engineering #Stability and Control of Uncertain Systems #Stability and Controllability of Differential Equations #Systems and Control (eess.SY) #electronic engineering #information engineering
17. Approximation-free Control for Signal Temporal Logic Specifications using Spatiotemporal Tubes
    2025/05/08 by Das, Ratnangshu, Choudhury, Subhodeep, Jagtap, Pushpak · 6 citations
    #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
18. Compositional Approximately Bisimilar Abstractions of Interconnected Systems
    2022/11/16 by Sadek, Belamfedel Alaoui, Saharsh, Pushpak Jagtap +3 · 1 citation
    Computer Science · #93C10 #93C85 #Dynamical Systems (math.DS) #FOS: Electrical engineering #FOS: Mathematics #Formal Methods in Verification #Petri Nets in System Modeling #Real-Time Systems Scheduling #Systems and Control (eess.SY) #electronic engineering #information engineering
19. Temporal Waypoint Navigation of Multi-UAV Payload System using Barrier Functions
    2022/11/25 by N.J. Rao, Rao, Nishanth, Suresh Sundaram +3 · 1 citation
    Computer Science · Engineering · #Robotic Path Planning Algorithms #Formal Methods in Verification #Advanced Control Systems Optimization
20. Funnel-based Reachability Control of Unknown Nonlinear Systems using Gaussian Processes
    2022/09/28 by Gorantla, Sandeep, Chatrola, Jeel, Bhagiya, Jay +2 · 1 citation
    #93-06 #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
21. Approximation-free control for unknown systems with performance and input constraints
    2023/04/21 by Mishra, Pankaj K, Jagtap, Pushpak · 1 citation
    #FOS: Electrical engineering #FOS: Mathematics #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
22. Smooth Spatiotemporal Tube Synthesis for Prescribed-Time Reach-Avoid-Stay Control
    2025/10/13 by Upadhyay, Siddhartha, Das, Ratnangshu, Jagtap, Pushpak · 1 citation
    #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
23. Spatiotemporal Tubes based Control of Unknown Multi-Agent Systems for Temporal Reach-Avoid-Stay Tasks
    2025/10/22 by Ahan Basu, Ratnangshu Das, Basu, Ahan +3 · 3 citations
    Computer Science · Engineering · #Distributed Control Multi-Agent Systems #Robotic Path Planning Algorithms #Spacecraft Dynamics and Control
24. Temporal Logic Resilience for Dynamical Systems
    2024/04/30 by Adnane Saoud, Saoud, Adnane, Pushpak Jagtap +3 · 3 citations
    Computer Science · #FOS: Electrical engineering #Formal Methods in Verification #Systems and Control (eess.SY) #electronic engineering #information engineering
25. Spatiotemporal Tubes based Controller Synthesis against Omega-Regular Specifications for Unknown Systems
    2025/03/11 by Ratnangshu Das, Aiman Aatif Bayezeed, Das, Ratnangshu +3 · 4 citations
    Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering