Pushpak Jagtap

According to our database1, Pushpak Jagtap authored at least 22 papers between 2014 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions.
IEEE Control. Syst. Lett., 2021

Software Fault Tolerance for Cyber-Physical Systems via Full System Restart.
ACM Trans. Cyber Phys. Syst., 2020

Numerical Estimation of Invariance Entropy for Nonlinear Control Systems.
CoRR, 2020

Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach.
CoRR, 2020

Symbolic models for retarded jump-diffusion systems.
Autom., 2020

Compositional construction of control barrier functions for interconnected control systems.
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

dtControl: decision tree learning algorithms for controller representation.
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Formal Synthesis of Stochastic Systems via Control Barrier Certificates.
CoRR, 2019

Verification of Switched Stochastic Systems via Barrier Certificates.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps.
IEEE Trans. Autom. Control., 2018

Complex Laplacian-based Distributed control for Multi-Agent Network.
Adv. Complex Syst., 2018

Temporal Logic Verification of Stochastic Systems Using Barrier Certificates.
Proceedings of the Automated Technology for Verification and Analysis, 2018

Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Automated Synthesis of Infinite Dimensional Stochastic Hybrid Systems.
CoRR, 2017

QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Complex Laplacian besed Cascade Formulation for Formation Control of Large Multi-Agent Network.
CoRR, 2016

Prediction of ground motion parameters using randomized ANFIS (RANFIS).
Appl. Soft Comput., 2016

Backstepping design for incremental stability of stochastic Hamiltonian systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

On incremental stability of time-delayed stochastic control systems.
Proceedings of the 54th Annual Allerton Conference on Communication, 2016

Complex Laplacian based algorithm for output synchronization of multi-agent systems using internal model principle.
Proceedings of the 2015 IEEE Conference on Control Applications, 2015

Extreme learning ANFIS for control applications.
Proceedings of the 2014 IEEE Symposium on Computational Intelligence in Control and Automation, 2014