Publications
Preprints:
Preprints:
- A. Saoud*, P. Jagtap*, M. Zamani, and A. Girard, "Compositional Abstraction and Controller Synthesis for Interconnected Systems: An Approximate Composition Approach," Submitted for publication. [pdf]
Journal papers:
Journal papers:
- N. Jahanshahi*, P. Jagtap*, and M. Zamani, "Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions." IEEE Control Systems Letters (L-CSS), to appear, 2020.
- P. Jagtap, F. Abdi, M. Rungger, M. Zamani, and M. Caccamo, "Software Fault Tolerance for Cyber-Physical Systems via Full System Restart," ACM Transactions on Cyber-Physical Systems, to appear. [pdf]
- P. Jagtap, S. Soudjani, and M. Zamani, "Formal Synthesis of Stochastic Systems via Control Barrier Certificates," IEEE Transactions on Automatic Control, conditionally accepted. [pdf]
- P. Jagtap and M. Zamani, "Symbolic Models for Retarded Jump-Diffusion System," Automatica, 2019. [Link][pdf]
- P. Jagtap and M. Zamani, "Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps," IEEE Transactions on Automatic Control, vol. 63, no. 1, pp. 255-261, 2018. [Link] [pdf]
- A. Deshpande, P. Jagtap, P. Bansode, A. Mahindrakar, and N. M. Singh, "Complex Laplacian-based Distributed Control for Multi-Agent Network" Advances in Complex Systems, vol. 21, no. 5, 2018. [Link][pdf]
- S. Thomas, G. N. Pillai, K. Pal, and P. Jagtap, "Prediction of Ground Motion Parameters using Randomized ANFIS (RANFIS)," Applied Soft Computing, 40, pp.624-634, 2016. [Link]
Book chapters:
Book chapters:
- P. Jagtap, S. Soudjani, and M. Zamani, "Temporal Logic Verification of Stochastic Systems using Barrier Certificates," Automated Technology for Verification and Analysis (ATVA), Los Angeles, CA, Lecture Notes in Computer Science 11138, pp 177-193, Springer, 2018. [Link][pdf]
- P. Jagtap and M. Zamani, "QUEST: A Tool for State-Space Quantization-free Synthesis of Symbolic Controllers," 14th International Conference on Quantitative Evaluation of SysTems (QEST), Lecture Notes in Computer Science 10503, pp 309-313, Springer, 2017. [Link]
Conference papers:
Conference papers:
- P. Jagtap, G. J. Pappas, and M. Zamani, "Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes," The 59th IEEE Conference on Decision and Control, submitted.
- M. S. Tomar, C. Kawan, P. Jagtap, and M. Zamani, "Numerical Estimation of Invariance Entropy for Nonlinear Control Systems," The 59th IEEE Conference on Decision and Control. Jeju Island, Republic of Korea. 2020.(submitted). [pdf]
- N. Jahanshahi*, P. Jagtap*, and M. Zamani, "Synthesis of Stochastic Systems with Partial Information via Control Barrier Functions," 21st IFAC World Congress, 2020, to appear.
- P. Jagtap*, A. Swikir*, and M. Zamani, "Compositional Construction of Control Barrier Functions for Interconnected Control Systems," 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2020, to appear. [pdf]
- P. Ashok, M. Jackermeier, P. Jagtap, J. Kretinsky, M. Weininger, and M. Zamani, "dtControl: Decision Tree Learning Algorithms for Controller Representation," 23rd ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2020, to appear. [pip package] [documentation][pdf]
- M. Anand*, P. Jagtap*, and M. Zamani, "Verification of Switched Stochastic Systems via Barrier Certificates," IEEE Conference on Decision and Control (CDC), 2019, to appear.
- A. Saoud*, P. Jagtap*, M. Zamani, and A. Girard, "Compositional Abstraction-Based Synthesis for Cascade Discrete-Time Control Systems," IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Oxford, UK, pp. 13-18, 2018. [Link][pdf]
- P. Jagtap and M. Zamani, "On Incremental Stability of Time-Delayed Stochastic Control Systems," The 54th Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, USA, pp. 577-581, 2016. [Link]
- P. Jagtap and M. Zamani, "Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems," The 55th IEEE Conference on Decision and Control (CDC), Las Vegas, USA, pp. 5367-5372, 2016. [Link]
- P. Jagtap, P. Raut, P. Kumar, A. Gupta, N. M. Singh, and F. Kazi, "Control of Autonomous Underwater Vehicle using Reduced Order Model Predictive Control in Three Dimensional Space," IFAC-PapersOnLine, pp.772-777, 2016. [Link][pdf]
- S. Mane, P. Jagtap, F. Kazi, and N. M. Singh, "Model Predictive Control of Complex Switched Mode FC-UC Hybrid Structure," Indian Control Conference (ICC), Hyderabad, India, pp. 66-71, 2016. [Link][pdf]
- P. Jagtap, A. Deshpande, N. M. Singh, and F. Kazi, "Complex Laplacian-based Algorithm for Output Synchronization of Multi-Agent Systems using Internal Model Principle," IEEE Conference on Control Applications (CCA), Sydney, NSW, pp. 1811-1816, 2015. [Link]
- P. Jagtap, P. Raut, G. N. Pillai, F. Kazi, and N. M. Singh, "Extreme-ANFIS: A Novel Learning approach for Inverse Model Control of Nonlinear Dynamical Systems," International Conference on Industrial Instrumentation and Control (ICIC), Pune, pp. 718-723, 2015. [Link]
- G. N. Pillai, P. Jagtap, and M. G. Nisha, "Extreme Learning ANFIS for Control Applications," IEEE Symposium on Computational Intelligence in Control and Automation (CICA), Orlando, FL, pp. 1-8, 2014. [Link]
- P. Jagtap and G. N. Pillai, "Comparison of Extreme-ANFIS and ANFIS Networks for Regression Problems," IEEE International Advance Computing Conference (IACC), Gurgaon, pp. 1190-1194, 2014. [Link][pdf]
Thesis:
Thesis:
- P. Jagtap, "Neuro-Fuzzy Systems for Modelling and Control Applications," M. Tech. Thesis, Indian Institute of Technology, Roorkee, India, 2014. [PDF]