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
1292020
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
1062020
Prediction of ground motion parameters using randomized ANFIS (RANFIS)
S Thomas, GN Pillai, K Pal, P Jagtap
Applied Soft Computing 40, 624-634, 2016
662016
Temporal logic verification of stochastic systems using barrier certificates
P Jagtap, S Soudjani, M Zamani
International Symposium on Automated Technology for Verification and …, 2018
512018
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
432020
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
382016
Comparison of extreme-ANFIS and ANFIS networks for regression problems
P Jagtap, GN Pillai
2014 IEEE International Advance Computing Conference (IACC), 1190-1194, 2014
382014
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
322020
Extreme learning ANFIS for control applications
GN Pillai, J Pushpak, MG Nisha
2014 IEEE Symposium on Computational Intelligence in Control and Automation …, 2014
312014
Formal verification of unknown discrete-and continuous-time systems: A data-driven approach
A Nejati, A Lavaei, P Jagtap, S Soudjani, M Zamani
IEEE Transactions on Automatic Control 68 (5), 3011-3024, 2023
282023
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
262017
Compositional synthesis of signal temporal logic tasks via assume-guarantee contracts
S Liu, A Saoud, P Jagtap, DV Dimarogonas, M Zamani
2022 IEEE 61st Conference on Decision and Control (CDC), 2184-2189, 2022
242022
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
192020
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
192017
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
162019
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
162018
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
152020
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
142016
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
132021
Formal safety verification of unknown continuous-time systems: a data-driven approach
A Lavaei, A Nejati, P Jagtap, M Zamani
Proceedings of the 24th International Conference on Hybrid Systems …, 2021
112021
The system can't perform the operation now. Try again later.
Articles 1–20