Follow
Pushpak Jagtap
Pushpak Jagtap
Assistant Professor, Robert Bosch Center for Cyber-Physical Systems, IISc Bangalore, India
Verified email at iisc.ac.in - Homepage
Title
Cited by
Cited by
Year
Formal synthesis of stochastic systems via control barrier certificates
P Jagtap, S Soudjani, M Zamani
IEEE Transactions on Automatic Control 66 (7), 3097-3110, 2020
632020
Prediction of ground motion parameters using randomized ANFIS (RANFIS)
S Thomas, GN Pillai, K Pal, P Jagtap
Applied Soft Computing 40, 624-634, 2016
512016
Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes*
P Jagtap, GJ Pappas, M Zamani
2020 59th IEEE Conference on Decision and Control (CDC), 3699-3704, 2020
442020
Temporal logic verification of stochastic systems using barrier certificates
P Jagtap, S Soudjani, M Zamani
Automated Technology for Verification and Analysis: 16th International …, 2018
312018
Extreme learning ANFIS for control applications
GN Pillai, J Pushpak, MG Nisha
2014 IEEE Symposium on Computational Intelligence in Control and Automation …, 2014
292014
Comparison of extreme-ANFIS and ANFIS networks for regression problems
P Jagtap, GN Pillai
2014 IEEE International Advance Computing Conference (IACC), 1190-1194, 2014
292014
Control of autonomous underwater vehicle using reduced order model predictive control in three dimensional space
P Jagtap, P Raut, P Kumar, A Gupta, NM Singh, F Kazi
IFAC-PapersOnLine 49 (1), 772-777, 2016
272016
Compositional construction of control barrier functions for interconnected control systems
P Jagtap, A Swikir, M Zamani
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
212020
Backstepping design for incremental stability of stochastic Hamiltonian systems with jumps
P Jagtap, M Zamani
IEEE Transactions on Automatic Control 63 (1), 255-261, 2017
212017
dtControl: Decision tree learning algorithms for controller representation
P Ashok, M Jackermeier, P Jagtap, J Křetínský, M Weininger, M Zamani
Proceedings of the 23rd international conference on hybrid systems …, 2020
202020
Compositional abstraction-based synthesis for cascade discrete-time control systems
A Saoud, P Jagtap, M Zamani, A Girard
IFAC-PapersOnLine 51 (16), 13-18, 2018
142018
QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers
P Jagtap, M Zamani
Quantitative Evaluation of Systems: 14th International Conference, QEST 2017 …, 2017
132017
Software fault tolerance for cyber-physical systems via full system restart
P Jagtap, F Abdi, M Rungger, M Zamani, M Caccamo
ACM Transactions on Cyber-Physical Systems 4 (4), 1-20, 2020
112020
Verification of Switched Stochastic Systems via Barrier Certificates
M Anand, P Jagtap, M Zamani
2019 IEEE 58th Conference on Decision and Control (CDC), 4373-4378, 2019
112019
Model predictive control of complex switched mode FC-UC hybrid structure
S Mane, P Jagtap, F Kazi, NM Singh
2016 Indian control conference (ICC), 66-71, 2016
112016
Complex Laplacian based algorithm for output synchronization of multi-agent systems using internal model principle
P Jagtap, A Deshpande, NM Singh, F Kazi
2015 IEEE Conference on Control Applications (CCA), 1811-1816, 2015
92015
Symbolic models for retarded jump–diffusion systems
P Jagtap, M Zamani
Automatica 111, 108666, 2020
8*2020
Extreme-ANFIS: A novel learning approach for inverse model control of Nonlinear Dynamical Systems
P Jagtap, P Raut, GN Pillai, F Kazi, NM Singh
2015 International Conference on Industrial Instrumentation and Control …, 2015
82015
Compositional abstraction-based synthesis for interconnected systems: An approximate composition approach
A Saoud, P Jagtap, M Zamani, A Girard
IEEE Transactions on Control of Network Systems 8 (2), 702-712, 2021
72021
Synthesis of partially observed jump-diffusion systems via control barrier functions
N Jahanshahi, P Jagtap, M Zamani
IEEE Control Systems Letters 5 (1), 253-258, 2020
72020
The system can't perform the operation now. Try again later.
Articles 1–20