Pushpak Jagtap

24 papers and 187 indexed citations i.

About

Pushpak Jagtap has authored 24 papers that have received a total of 187 indexed citations. This includes 14 papers in Control and Systems Engineering, 13 papers in Computational Theory and Mathematics and 5 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (12 papers), Advanced Control Systems Optimization (10 papers) and Petri Nets in System Modeling (6 papers). Pushpak Jagtap is often cited by papers focused on Formal Methods in Verification (12 papers), Advanced Control Systems Optimization (10 papers) and Petri Nets in System Modeling (6 papers) and collaborates with scholars based in Germany, India and United States. Pushpak Jagtap's co-authors include Majid Zamani, Antoine Girard, Sadegh Soudjani, Ankit Gupta and Abolfazl Lavaei and has published in prestigious journals such as IEEE Transactions on Automatic Control, Automatica and International Journal of Robust and Nonlinear Control

In The Last Decade

Rankless by CCL
2025