| 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 | 131 | 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 | 108 | 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 | 67 | 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 | 51 | 2018 |
| 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 | 43 | 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 | 40 | 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 | 38 | 2014 |
| 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 | 33 | 2020 |
| 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 | 32 | 2023 |
| 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 |
| 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 | 26 | 2017 |
| 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 | 24 | 2022 |
| 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 | 20 | 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 | 19 | 2020 |
| 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 | 17 | 2018 |
| 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 | 16 | 2019 |
| 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 | 15 | 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 | 14 | 2021 |
| 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 | 14 | 2016 |
| Approximation-free prescribed performance control with prescribed input constraints PK Mishra, P Jagtap IEEE Control Systems Letters 7, 1261-1266, 2023 | 12 | 2023 |
Majid ZamaniAssociate Professor, University of Colorado Bouldercolorado.edu의 이메일 확인됨