Segui
Pushpak Jagtap
Pushpak Jagtap
Assistant Professor, Robert Bosch Center for Cyber-Physical Systems, IISc Bangalore, India
Email verificata su iisc.ac.in - Home page
Titolo
Citata da
Citata da
Anno
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
962020
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
892020
Prediction of ground motion parameters using randomized ANFIS (RANFIS)
S Thomas, GN Pillai, K Pal, P Jagtap
Applied Soft Computing 40, 624-634, 2016
622016
Temporal logic verification of stochastic systems using barrier certificates
P Jagtap, S Soudjani, M Zamani
International Symposium on Automated Technology for Verification and …, 2018
432018
Comparison of extreme-ANFIS and ANFIS networks for regression problems
P Jagtap, GN Pillai
2014 IEEE International Advance Computing Conference (IACC), 1190-1194, 2014
372014
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
332020
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
322016
Extreme learning ANFIS for control applications
GN Pillai, J Pushpak, MG Nisha
2014 IEEE Symposium on Computational Intelligence in Control and Automation …, 2014
302014
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
252020
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
232017
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
172022
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
172020
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
162017
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
152018
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
142019
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
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
132020
Synthesis of stochastic systems with partial information via control barrier functions
N Jahanshahi, P Jagtap, M Zamani
IFAC-PapersOnLine 53 (2), 2441-2446, 2020
102020
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
102015
Il sistema al momento non puň eseguire l'operazione. Riprova piů tardi.
Articoli 1–20