# Pushpak Jagtap

According to our database

Collaborative distances:

^{1}, Pushpak Jagtap authored at least 22 papers between 2014 and 2021.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2021

Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions.

IEEE Control. Syst. Lett., 2021

2020

ACM Trans. Cyber Phys. Syst., 2020

CoRR, 2020

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

CoRR, 2020

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

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

CoRR, 2019

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps.

IEEE Trans. Autom. Control., 2018

Adv. Complex Syst., 2018

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

2017

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

2016

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

CoRR, 2016

Appl. Soft Comput., 2016

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Proceedings of the 54th Annual Allerton Conference on Communication, 2016

2015

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

2014

Proceedings of the 2014 IEEE Symposium on Computational Intelligence in Control and Automation, 2014