Pushpak Jagtap
- Control Barrier Functions for Unknown Nonlinear Systems using Gaussian\n Processes
2020/10/12 by Pushpak Jagtap, George J. Pappas, Jagtap, Pushpak +3 · 12 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
- 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)
- 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
- A Collision Cone Approach for Control Barrier Functions
2024/03/11 by Manan Tayal, Tayal, Manan, Bhavya Giri Goswami +13 · 5 citations
#FOS: Computer and information sciences #Robotics (cs.RO)
- 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
- 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
- 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
- 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
- Semi-Supervised Safe Visuomotor Policy Synthesis using Barrier Certificates
2024/09/19 by Manan Tayal, Tayal, Manan, Pushpak Jagtap +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
- CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions
2025/03/18 by Manan Tayal, Tayal, Manan, Aditya Singh +5 · 7 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Autonomous Vehicle Technology and Safety #Vehicle Dynamics and Control Systems
- 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
- 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
- Temporal Waypoint Navigation of Multi-UAV Payload System using Barrier Functions
2022/11/25 by N.J. Rao, Suresh Sundaram, Rao, Nishanth +3 · 1 citation
Computer Science · Engineering · #Robotic Path Planning Algorithms #Formal Methods in Verification #Advanced Control Systems Optimization
- 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
- 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
- Spatiotemporal Tubes based Controller Synthesis against Omega-Regular Specifications for Unknown Systems
2025/03/11 by Ratnangshu Das, Das, Ratnangshu, Aiman Aatif Bayezeed +3 · 4 citations
Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering