Pushpak Jagtap

129 papers A* 2A 4B 1C 3Journal 93Unranked 26

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Input-to-State Stabilizing Neural Controllers for Unknown Switched Nonlinear Systems within Compact Sets. CoRR Bhabani Shankar Dey, Ahan Basu, Pushpak Jagtap
2026	J	`jnl`	On incremental stability of interconnected switched systems. Int. J. Syst. Sci. Bhabani Shankar Dey, Indra Narayan Kar, Pushpak Jagtap
2026	J	`jnl`	Practical Prescribed Performance Multi-Cluster Consensus for Euler-Lagrangian Systems With Unknown Parameters. IEEE Access Gopika R, Shubham Sawarkar, V. Resmi, Rakesh R. Warier, Pushpak Jagtap, Sarang C. Dhongdi
2026	J	`jnl`	Real-Time Spatiotemporal Tubes for Dynamic Unsafe Sets. IEEE Robotics Autom. Lett. Ratnangshu Das, Siddhartha Upadhyay, Pushpak Jagtap
2026	J	`jnl`	Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems. IEEE Trans. Autom. Control. Ratnangshu Das, Ahan Basu, Pushpak Jagtap
2026	J	`jnl`	Spatiotemporal Tubes-Based Control of Unknown Multiagent Systems for Temporal Reach-Avoid-Stay Tasks. IEEE Trans. Control. Netw. Syst. Ahan Basu, Ratnangshu Das, Pushpak Jagtap
2026	J	`jnl`	Temporal Logic Resilience for Dynamical Systems. IEEE Trans. Autom. Control. Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
2026	J	`jnl`	Towards Certified Sim-to-Real Transfer via Stochastic Simulation-Gap Functions. CoRR P. Sangeerth, Abolfazl Lavaei, Pushpak Jagtap
2025	J	`jnl`	Approximation-Free Control for Signal Temporal Logic Specifications Using Spatiotemporal Tubes. IEEE Control. Syst. Lett. Ratnangshu Das, Subhodeep Choudhury, Pushpak Jagtap
2025	J	`jnl`	Approximation-Free Control for Unknown Systems With Performance and Input Constraints. IEEE Trans. Autom. Control. Pankaj Kumar Mishra, Pushpak Jagtap
2025	J	`jnl`	Approximation-free Control for Signal Temporal Logic Specifications using Spatiotemporal Tubes. CoRR Ratnangshu Das, Subhodeep Choudhury, Pushpak Jagtap
2025	J	`jnl`	Approximation-free Control of Unknown Euler-Lagrangian Systems under Input Constraints. CoRR Ratnangshu Das, Pushpak Jagtap
2025	J	`jnl`	CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions. CoRR Manan Tayal, Aditya Singh, Pushpak Jagtap, Shishir Kolathaya
2025	—	`conf`	Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach. CDC Negar Monir, Youssef Ait Si, Ratnangshu Das, Pushpak Jagtap, Adnane Saoud, Sadegh Soudjani
2025	J	`jnl`	Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach. CoRR Negar Monir, Youssef Ait Si, Ratnangshu Das, Pushpak Jagtap, Adnane Saoud, Sadegh Soudjani
2025	J	`jnl`	Control Barrier Function for Unknown Systems: An Approximation-free Approach. CoRR Shubham Sawarkar, Pushpak Jagtap
2025	—	`conf`	Control Barrier Functions for Prescribed-Time Reach-Avoid-Stay Tasks using Spatiotemporal Tubes. ECC Ratnangshu Das, Pranav Bakshi, Pushpak Jagtap
2025	J	`jnl`	Control Barrier Functions for Prescribed-time Reach-Avoid-Stay Tasks using Spatiotemporal Tubes. CoRR Ratnangshu Das, Pranav Bakshi, Pushpak Jagtap
2025	J	`jnl`	Control Barrier Functions for the Full Class of Signal Temporal Logic Tasks using Spatiotemporal Tubes. CoRR Ratnangshu Das, Subhodeep Choudhury, Pushpak Jagtap
2025	J	`jnl`	Controller for Incremental Input-to-State Practical Stabilization of Partially Unknown systems with Invariance Guarantees. CoRR P. Sangeerth, David Smith Sundarsingh, Bhabani Shankar Dey, Pushpak Jagtap
2025	—	`conf`	Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems. ECC Ahan Basu, Bhabani Shankar Dey, Pushpak Jagtap
2025	J	`jnl`	Formally Verified Neural Lyapunov Function for Incremental Input-to-State Stability of Unknown Systems. CoRR Ahan Basu, Bhabani Shankar Dey, Pushpak Jagtap
2025	J	`jnl`	Formally Verified Neural Network Controllers for Incremental Input-to-State Stability of Unknown Discrete-Time Systems. CoRR Ahan Basu, Bhabani Shankar Dey, Pushpak Jagtap
2025	J	`jnl`	Incorporating Social Awareness into Control of Unknown Multi-Agent Systems: A Real-Time Spatiotemporal Tubes Approach. CoRR Siddhartha Upadhyay, Ratnangshu Das, Pushpak Jagtap
2025	J	`jnl`	Learning Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks using Physics-Informed Neural Networks. CoRR Ahan Basu, Ratnangshu Das, Pushpak Jagtap
2025	—	`conf`	Maximally Resilient Controllers under Temporal Logic Specifications. CDC Youssef Ait Si, Ratnangshu Das, Negar Monir, Sadegh Soudjani, Pushpak Jagtap, Adnane Saoud
2025	J	`jnl`	Maximally Resilient Controllers under Temporal Logic Specifications. CoRR Youssef Ait Si, Ratnangshu Das, Negar Monir, Sadegh Soudjani, Pushpak Jagtap, Adnane Saoud
2025	—	`conf`	Negotiation Framework for Safe Multi-Agent Planning via Spatiotemporal Tubes. ECC Mohd. Faizuddin Faruqui, Ratnangshu Das, Ravi Kumar L, Pushpak Jagtap
2025	J	`jnl`	Neural Control Barrier Functions for Signal Temporal Logic Specifications with Input Constraints. CoRR Vaishnavi Jagabathula, Pushpak Jagtap
2025	J	`jnl`	Neural Incremental Input-to-State Stable Control Lyapunov Functions for Unknown Continuous-time Systems. CoRR Ahan Basu, Bhabani Shankar Dey, Pushpak Jagtap
2025	J	`jnl`	Neural Network-based Co-design of Output-Feedback Control Barrier Function and Observer. CoRR Vaishnavi Jagabathula, Ahan Basu, Pushpak Jagtap
2025	J	`jnl`	Periodic Event-Triggered Prescribed Time Control of Euler-Lagrange Systems under State and Input Constraints. CoRR Chidre Shravista Kashyap, Karnan A, Pushpak Jagtap, Jishnu Keshavan
2025	—	`conf`	Quantification of Sim2Real Gap via Neural Simulation Gap Function. ECC P. Sangeerth, Pushpak Jagtap
2025	J	`jnl`	Quantification of Sim2Real Gap via Neural Simulation Gap Function. CoRR P. Sangeerth, Pushpak Jagtap
2025	J	`jnl`	Reach-Avoid-Stay-Collision-Avoidance Negotiation Framework for Multi-Agent Systems via Spatiotemporal Tubes. CoRR Mohd. Faizuddin Faruqui, Ratnangshu Das, Ravi Kumar L, Pushpak Jagtap
2025	J	`jnl`	Real-Time Spatiotemporal Tubes for Dynamic Unsafe Sets. CoRR Ratnangshu Das, Siddhartha Upadhyay, Pushpak Jagtap
2025	J	`jnl`	Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions. CoRR Aditya Singh, Aastha Mishra, Manan Tayal, Shishir Kolathaya, Pushpak Jagtap
2025	J	`jnl`	Scalable Formal Verification of Incremental Stability in Large-Scale Systems Using Graph Neural Networks. CoRR Ahan Basu, Mahathi Anand, Pushpak Jagtap
2025	A	`conf`	Scalable Learning of High-Dimensional Demonstrations with Composition of Linear Parameter Varying Dynamical Systems. IROS Shreenabh Agrawal, Hugo T. M. Kussaba, Lingyun Chen, Allen Emmanuel Binny, Pushpak Jagtap, Sami Haddadin, Abdalla Swikir
2025	J	`jnl`	Scalable Learning of High-Dimensional Demonstrations with Composition of Linear Parameter Varying Dynamical Systems. CoRR Shreenabh Agrawal, Hugo T. M. Kussaba, Lingyun Chen, Allen Emmanuel Binny, Abdalla Swikir, Pushpak Jagtap, Sami Haddadin
2025	J	`jnl`	Scalable and Approximation-free Symbolic Control for Unknown Euler-Lagrange Systems. CoRR Ratnangshu Das, Shubham Sawarkar, Pushpak Jagtap
2025	—	`conf`	Semi-Supervised Safe Visuomotor Policy Synthesis using Barrier Certificates. CDC Manan Tayal, Aditya Singh, Pushpak Jagtap, Shishir Kolathaya
2025	A	`conf`	Signal Temporal Logic Compliant Co-design of Planning and Control. IROS Manas Sashank Juvvi, Tushar Dilip Kurne, Vaishnavi J, Shishir Kolathaya, Pushpak Jagtap
2025	J	`jnl`	Signal Temporal Logic Compliant Co-design of Planning and Control. CoRR Manas Sashank Juvvi, Tushar Dilip Kurne, Vaishnavi J, Shishir Kolathaya, Pushpak Jagtap
2025	J	`jnl`	Smooth Spatiotemporal Tube Synthesis for Prescribed-Time Reach-Avoid-Stay Control. CoRR Siddhartha Upadhyay, Ratnangshu Das, Pushpak Jagtap
2025	J	`jnl`	Spatiotemporal Tubes based Control of Unknown Multi-Agent Systems for Temporal Reach-Avoid-Stay Tasks. CoRR Ahan Basu, Ratnangshu Das, Pushpak Jagtap
2025	J	`jnl`	Spatiotemporal Tubes based Controller Synthesis against Omega-Regular Specifications for Unknown Systems. CoRR Ratnangshu Das, Aiman Aatif Bayezeed, Pushpak Jagtap
2025	J	`jnl`	Spatiotemporal Tubes for Differential Drive Robots with Model Uncertainty. CoRR Ratnangshu Das, Ahan Basu, Christos Verginis, Pushpak Jagtap
2025	J	`jnl`	Spatiotemporal Tubes for Probabilistic Temporal Reach-Avoid-Stay Task in Uncertain Dynamic Environment. CoRR Siddhartha Upadhyay, Ratnangshu Das, Pushpak Jagtap
2025	J	`jnl`	Stochastic Neural Control Barrier Functions. CoRR Hongchao Zhang, Manan Tayal, Jackson Cox, Pushpak Jagtap, Shishir Kolathaya, Andrew Clark
2025	C	`conf`	Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach. ACC P. Sangeerth, Abolfazl Lavaei, Pushpak Jagtap
2025	J	`jnl`	Tracking Control of Euler-Lagrangian Systems with Prescribed State, Input, and Temporal Constraints. CoRR Chidre Shravista Kashyap, Pushpak Jagtap, Jishnu Keshavan
2024	J	`jnl`	A Collision Cone Approach for Control Barrier Functions. CoRR Manan Tayal, Bhavya Giri Goswami, Karthik Rajgopal, Rajpal Singh, Tejas Rao, Jishnu Keshavan, Pushpak Jagtap, Shishir Kolathaya
2024	J	`jnl`	Approximation- and Chattering-Free Quasi Sliding-Mode Control for Unknown Systems. IEEE Trans. Circuits Syst. II Express Briefs Pankaj Kumar Mishra, Pushpak Jagtap
2024	J	`jnl`	Backstepping Design for Incremental Input-to-State Stabilization of Unknown Systems. CoRR David Smith Sundarsingh, Bhabani Shankar Dey, Pushpak Jagtap
2024	A*	`conf`	Barrier Functions Inspired Reward Shaping for Reinforcement Learning. ICRA Nilaksh, Abhishek Ranjan, Shreenabh Agrawal, Aayush Jain, Pushpak Jagtap, Shishir Kolathaya
2024	J	`jnl`	Barrier Functions Inspired Reward Shaping for Reinforcement Learning. CoRR Nilaksh Nilaksh, Abhishek Ranjan, Shreenabh Agrawal, Aayush Jain, Pushpak Jagtap, Shishir Kolathaya
2024	C	`conf`	Collision Cone Control Barrier Functions: Experimental Validation on UGVs for Kinematic Obstacle Avoidance. ACC Bhavya Giri Goswami, Manan Tayal, Karthik Rajgopal, Pushpak Jagtap, Shishir Kolathaya
2024	J	`jnl`	Funnel-Based Reward Shaping for Signal Temporal Logic Tasks in Reinforcement Learning. IEEE Robotics Autom. Lett. Naman Saxena, Sandeep Gorantla, Pushpak Jagtap
2024	—	`conf`	Learning a Formally Verified Control Barrier Function in Stochastic Environment. CDC Manan Tayal, Hongchao Zhang, Pushpak Jagtap, Andrew Clark, Shishir Kolathaya
2024	J	`jnl`	Learning a Formally Verified Control Barrier Function in Stochastic Environment. CoRR Manan Tayal, Hongchao Zhang, Pushpak Jagtap, Andrew Clark, Shishir Kolathaya
2024	—	`conf`	Poster Abstract: Signal Temporal Logic Compliant Motion Planning using Reinforcement Learning. ICCPS Tushar Dilip Kurne, Manas Sashank Juvvi, Vaishnavi J, Pushpak Jagtap
2024	J	`jnl`	Prescribed-Time Reach-Avoid-Stay Specifications for Unknown Systems: A Spatiotemporal Tubes Approach. IEEE Control. Syst. Lett. Ratnangshu Das, Pushpak Jagtap
2024	J	`jnl`	RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints. CoRR Saksham Gautam, Ratnangshu Das, Pushpak Jagtap
2024	J	`jnl`	Real Time Safety of Fixed-wing UAVs using Collision Cone Control Barrier Functions. CoRR Aryan Agarwal, Ravi Agrawal, Manan Tayal, Pushpak Jagtap, Shishir Kolathaya
2024	A*	`conf`	Safe Multi-Robot Exploration using Symbolic Control. ICRA Manas Sashank Juvvi, David Smith Sundarsingh, Ratnangshu Das, Pushpak Jagtap
2024	J	`jnl`	Semi-Supervised Safe Visuomotor Policy Synthesis using Barrier Certificates. CoRR Manan Tayal, Aditya Singh, Pushpak Jagtap, Shishir Kolathaya
2024	—	`conf`	Spatiotemporal Tubes for Reach-Avoid-Stay Specifications✱. HSCC Ratnangshu Das, Pushpak Jagtap
2024	J	`jnl`	Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems. CoRR Ratnangshu Das, Ahan Basu, Pushpak Jagtap
2024	J	`jnl`	Temporal Logic Resilience for Dynamical Systems. CoRR Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
2024	J	`jnl`	Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach. CoRR P. Sangeerth, Abolfazl Lavaei, Pushpak Jagtap
2023	J	`jnl`	Approximation- and Chattering-free Quasi Sliding Mode Control for Unknown Systems. CoRR Pankaj Kumar Mishra, Pushpak Jagtap
2023	J	`jnl`	Approximation-Free Prescribed Performance Control With Prescribed Input Constraints. IEEE Control. Syst. Lett. Pankaj Kumar Mishra, Pushpak Jagtap
2023	J	`jnl`	Approximation-free control for unknown systems with performance and input constraints. CoRR Pankaj Kumar Mishra, Pushpak Jagtap
2023	A	`conf`	Autonomous Exploration Using Ground Robots with Safety Guarantees. IROS David Smith Sundarsingh, Jay Bhagiya, Jeel Chatrola, Pushpak Jagtap
2023	J	`jnl`	Collision Cone Control Barrier Functions: Experimental Validation on UGVs for Kinematic Obstacle Avoidance. CoRR Bhavya Giri Goswami, Manan Tayal, Karthik Rajgopal, Pushpak Jagtap, Shishir Kolathaya
2023	J	`jnl`	Controller Synthesis for Local and Global Specifications in Multi-Agent Systems. CoRR David Smith Sundarsingh, Jay Bhagiya, Saharsh, Jeel Chatrola, Adnane Saoud, Pushpak Jagtap
2023	J	`jnl`	Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach. IEEE Trans. Autom. Control. Ameneh Nejati, Abolfazl Lavaei, Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
2023	J	`jnl`	Funnel-based Control for Reach-Avoid-Stay Specifications. CoRR Ratnangshu Das, Pushpak Jagtap
2023	J	`jnl`	On Incremental Stability of Interconnected Switched Systems. CoRR Bhabani Shankar Dey, Indra Narayan Kar, Pushpak Jagtap
2023	A	`conf`	On the Efficacy and Noise-Robustness of Jointly Learned Speech Emotion and Automatic Speech Recognition. INTERSPEECH Lokesh Bansal, S. Pavankumar Dubagunta, Malolan Chetlur, Pushpak Jagtap, Aravind Ganapathiraju
2023	J	`jnl`	On the Efficacy and Noise-Robustness of Jointly Learned Speech Emotion and Automatic Speech Recognition. CoRR Lokesh Bansal, S. Pavankumar Dubagunta, Malolan Chetlur, Pushpak Jagtap, Aravind Ganapathiraju
2023	—	`conf`	Scalable Distributed Controller Synthesis for Multi-Agent Systems Using Barrier Functions and Symbolic Control. CDC David Smith Sundarsingh, Jay Bhagiya, Saharsh, Jeel Chatrola, Adnane Saoud, Pushpak Jagtap
2023	—	`conf`	Symbolic Models for Interconnected Impulsive Systems. CDC Sadek Belamfedel Alaoui, Adnane Saoud, Pushpak Jagtap, Abdalla Swikir
2023	J	`jnl`	Symbolic Models for Interconnected Impulsive Systems. CoRR Sadek Belamfedel Alaoui, Adnane Saoud, Pushpak Jagtap, Abdalla Swikir
2023	—	`conf`	Temporal Logic Resilience for Cyber-Physical Systems. CDC Adnane Saoud, Pushpak Jagtap, Sadegh Soudjani
2023	—	`conf`	Temporal Waypoint Navigation of Multi-UAV Payload System using Barrier Functions. ECC Nishanth Rao, Suresh Sundaram, Pushpak Jagtap
2022	J	`jnl`	Approximation-free Prescribed Performance Control with Prescribed Input Constraints. CoRR Pankaj Kumar Mishra, Pushpak Jagtap
2022	J	`jnl`	Compositional Approximately Bisimilar Abstractions of Interconnected Systems. CoRR Sadek Belamfedel Alaoui, Saharsh, Pushpak Jagtap, Adnane Saoud
2022	—	`conf`	Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. CDC Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani
2022	J	`jnl`	Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. CoRR Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani
2022	J	`jnl`	Distributed Consensus of Stochastic Multi-agent Systems with Prescribed Performance Constraints. CoRR Pushpak Jagtap, Dimos V. Dimarogonas
2022	J	`jnl`	Funnel-based Reachability Control of Unknown Nonlinear Systems using Gaussian Processes. CoRR Sandeep Gorantla, Jeel Chatrola, Jay Bhagiya, Adnane Saoud, Pushpak Jagtap
2022	J	`jnl`	Reinforcement Learning for Signal Temporal Logic using Funnel-Based Approach. CoRR Naman Saxena, Sandeep Gorantla, Pushpak Jagtap
2022	J	`jnl`	Temporal Waypoint Navigation of Multi-UAV Payload System using Barrier Functions. CoRR Nishanth Rao, Suresh Sundaram, Pushpak Jagtap
2021	J	`jnl`	Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach. IEEE Trans. Control. Netw. Syst. Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
2021	—	`conf`	Distributed Consensus of Stochastic Multi-agent Systems with Prescribed Performance Constraints. CDC Pushpak Jagtap, Dimos V. Dimarogonas
2021	J	`jnl`	Formal Synthesis of Stochastic Systems via Control Barrier Certificates. IEEE Trans. Autom. Control. Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
2021	—	`conf`	Formal safety verification of unknown continuous-time systems: a data-driven approach. HSCC Abolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, Majid Zamani
2021	J	`jnl`	Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions. CoRR Niloofar Jahanshahi, Pushpak Jagtap, Majid Zamani
2021	J	`jnl`	Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions. IEEE Control. Syst. Lett. Niloofar Jahanshahi, Pushpak Jagtap, Majid Zamani
2021	J	`jnl`	Verification of Switched Stochastic Systems via Barrier Certificates. CoRR Mahathi Anand, Pushpak Jagtap, Majid Zamani
2020	J	`jnl`	Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach. CoRR Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
2020	J	`jnl`	Compositional Construction of Control Barrier Functions for Interconnected Control Systems. CoRR Pushpak Jagtap, Abdalla Swikir, Majid Zamani
2020	—	`conf`	Compositional construction of control barrier functions for interconnected control systems. HSCC Pushpak Jagtap, Abdalla Swikir, Majid Zamani
2020	—	`conf`	Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes. CDC Pushpak Jagtap, George J. Pappas, Majid Zamani
2020	J	`jnl`	Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes. CoRR Pushpak Jagtap, George J. Pappas, Majid Zamani
2020	J	`jnl`	Numerical Estimation of Invariance Entropy for Nonlinear Control Systems. CoRR Mahendra Singh Tomar, Christoph Kawan, Pushpak Jagtap, Majid Zamani
2020	J	`jnl`	Software Fault Tolerance for Cyber-Physical Systems via Full System Restart. ACM Trans. Cyber Phys. Syst. Pushpak Jagtap, Fardin Abdi, Matthias Rungger, Majid Zamani, Marco Caccamo
2020	J	`jnl`	Symbolic models for retarded jump-diffusion systems. Autom. Pushpak Jagtap, Majid Zamani
2020	J	`jnl`	dtControl: Decision Tree Learning Algorithms for Controller Representation. CoRR Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
2020	—	`conf`	dtControl: decision tree learning algorithms for controller representation. HSCC Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
2020	—	`conf`	dtControl: decision tree learning algorithms for controller representation. HSCC Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
2019	J	`jnl`	Formal Synthesis of Stochastic Systems via Control Barrier Certificates. CoRR Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
2019	—	`conf`	Verification of Switched Stochastic Systems via Barrier Certificates. CDC Mahathi Anand, Pushpak Jagtap, Majid Zamani
2018	J	`jnl`	Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps. IEEE Trans. Autom. Control. Pushpak Jagtap, Majid Zamani
2018	J	`jnl`	Complex Laplacian-based Distributed control for Multi-Agent Network. Adv. Complex Syst. Aniket Deshpande, Pushpak Jagtap, Prashant Bansode, Arun Mahindrakar, Navdeep M. Singh
2018	—	`conf`	Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems. ADHS Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
2018	J	`jnl`	Software Fault Tolerance for Cyber-Physical Systems via Full System Restart. CoRR Pushpak Jagtap, Fardin Abdi, Matthias Rungger, Majid Zamani, Marco Caccamo
2018	B	`conf`	Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. ATVA Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
2018	J	`jnl`	Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. CoRR Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
2017	J	`jnl`	Automated Synthesis of Infinite Dimensional Stochastic Hybrid Systems. CoRR Pushpak Jagtap, Majid Zamani
2017	—	`conf`	QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers. QEST Pushpak Jagtap, Majid Zamani
2016	J	`jnl`	Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps. CoRR Pushpak Jagtap, Majid Zamani
2016	—	`conf`	Backstepping design for incremental stability of stochastic Hamiltonian systems. CDC Pushpak Jagtap, Majid Zamani
2016	J	`jnl`	Complex Laplacian besed Cascade Formulation for Formation Control of Large Multi-Agent Network. CoRR Aniket Deshpande, Pushpak Jagtap, Navadeep Singh, Arun Mahindrakar
2016	—	`conf`	On incremental stability of time-delayed stochastic control systems. Allerton Pushpak Jagtap, Majid Zamani
2016	J	`jnl`	Prediction of ground motion parameters using randomized ANFIS (RANFIS). Appl. Soft Comput. Sonia Thomas, G. N. Pillai, Kirat Pal, Pushpak Jagtap
2015	C	`conf`	Complex Laplacian based algorithm for output synchronization of multi-agent systems using internal model principle. CCA Pushpak Jagtap, Aniket Deshpande, Navdeep M. Singh, Faruk Kazi