| 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 | 187 | 2020 |
| 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 | 147 | 2020 |
| Prediction of ground motion parameters using randomized ANFIS (RANFIS) S Thomas, GN Pillai, K Pal, P Jagtap Applied Soft Computing 40, 624-634, 2016 | 72 | 2016 |
| Temporal logic verification of stochastic systems using barrier certificates P Jagtap, S Soudjani, M Zamani International Symposium on Automated Technology for Verification and …, 2018 | 57 | 2018 |
| 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 | 54 | 2023 |
| 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 | 44 | 2020 |
| 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 | 41 | 2020 |
| 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 | 41 | 2016 |
| Comparison of extreme-ANFIS and ANFIS networks for regression problems P Jagtap, GN Pillai 2014 IEEE International Advance Computing Conference (IACC), 1190-1194, 2014 | 41 | 2014 |
| Learning a formally verified control barrier function in stochastic environment M Tayal, H Zhang, P Jagtap, A Clark, S Kolathaya 2024 IEEE 63rd Conference on Decision and Control (CDC), 4098-4104, 2024 | 31 | 2024 |
| 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 | 31 | 2017 |
| Extreme learning ANFIS for control applications GN Pillai, J Pushpak, MG Nisha 2014 IEEE Symposium on Computational Intelligence in Control and Automation …, 2014 | 31 | 2014 |
| 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 | 30 | 2022 |
| Approximation-free prescribed performance control with prescribed input constraints PK Mishra, P Jagtap IEEE Control Systems Letters 7, 1261-1266, 2023 | 26 | 2023 |
| QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers P Jagtap, M Zamani International conference on quantitative evaluation of systems, 309-313, 2017 | 25 | 2017 |
| 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 | 22 | 2020 |
| 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 | 20 | 2021 |
| A collision cone approach for control barrier functions M Tayal, BG Goswami, K Rajgopal, R Singh, T Rao, J Keshavan, P Jagtap, ... arXiv preprint arXiv:2403.07043, 2024 | 19 | 2024 |
| 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 | 18 | 2020 |
| 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 | 18 | 2019 |
Majid ZamaniAssociate Professor, University of Colorado BoulderVerified email at colorado.edu
