Concepedia

Pushpak Jagtap

PJ

12

Publications

346

Citations

10

H-Index

2014

Active since

Affiliations

Technical University of Munich(Current)

University of Colorado Boulder

Ludwig-Maximilians-Universität München

Robert Bosch (India)

Indian Institute of Technology Roorkee

Pushpak Jagtap is an author at Technical University of Munich specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceProcess ControlFormal MethodsMachine LearningAutomated ReasoningFormal VerificationIntelligent SystemsFuzzy Logic

Publications per year

2014–2023

12

Publications

12

Formal Synthesis of Stochastic Systems via Control Barrier Certificates

Pushpak Jagtap, Sadegh Soudjani, Majid Zamani · IEEE Transactions on Automatic Control · 2020 · 115 citations · Full text

Control of Autonomous Underwater Vehicle using Reduced Order Model Predictive Control in Three Dimensional Space

Pushpak Jagtap, Pranoti Raut, Pawan Kumar et al. · IFAC-PapersOnLine · 2016 · 34 citations · Full text

Engineering, Underwater Vehicle, Aerospace Engineering +13

Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach

Ameneh Nejati, Abolfazl Lavaei, Pushpak Jagtap et al. · IEEE Transactions on Automatic Control · 2023 · 28 citations

Mathematical Programming, Engineering, Verification +22

Extreme learning ANFIS for control applications

G. N. Pillai, Pushpak Jagtap, M. Germin Nisha · 2014 · 27 citations

Fuzzy Systems, Machine Learning, Engineering +16

Approximation-Free Prescribed Performance Control With Prescribed Input Constraints

Pankaj Kumar Mishra, Pushpak Jagtap · IEEE Control Systems Letters · 2023 · 27 citations

Nonlinear Control, Engineering, Model-based Control Technique +12

Rows per page

1–5 of 12