Publications

Preprints:

  1. 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:

  1. 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.
  2. 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]
  3. P. Jagtap, S. Soudjani, and M. Zamani, "Formal Synthesis of Stochastic Systems via Control Barrier Certificates," IEEE Transactions on Automatic Control, conditionally accepted. [pdf]
  4. P. Jagtap and M. Zamani, "Symbolic Models for Retarded Jump-Diffusion System," Automatica, 2019. [Link][pdf]
  5. 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]
  6. 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]
  7. 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:

  1. 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]
  2. 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:

  1. 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.
  2. 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]
  3. 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.
  4. 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]
  5. 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]
  6. 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.
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
*authors contributed equally

Software tools:

  1. QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers. [C++ toolbox] [Download]
  2. Extreme-ANFIS: Fast and highly accurate neuro-fuzzy hybrid system for regression, MIMO modelling, Multi-class classification. [MATLAB toolbox] [Download]

Thesis:

  1. P. Jagtap, "Neuro-Fuzzy Systems for Modelling and Control Applications," M. Tech. Thesis, Indian Institute of Technology, Roorkee, India, 2014. [PDF]