Publications

 

Journal Papers

• A. Nejati and M. Zamani, Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates, IEEE Control Systems Letters, vol. 7, pp. 2497-2502, 2023.

• A. Nejati, A. Lavaei, P. Jagtap, S. Soudjani, and M. Zamani, Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach, IEEE Transactions on Automatic Control (Special Issue on Learning for Control), vol. 68, no. 5, pp. 3011-3024, 2023.

• A. Nejati, S. Soudjani, and M. Zamani, Compositional Construction of Control Barrier Functions for Continuous-Time Stochastic Hybrid Systems, Automatica, vol. 145, 2022.

• A. Nejati, A. Lavaei, S. Soudjani, and M. Zamani, Estimation of Infinitesimal Generators for Stochastic Hybrid Systems via Sampling: A Formal Approach, IEEE Control Systems Letters, vol. 7, pp. 223-228, 2022.

• A. Nejati, S. Soudjani, and M. Zamani, Compositional Abstraction-based Synthesis for Continuous-Time Stochastic Hybrid Systems, European Journal of Control, vol. 57, pp. 82–94, 2021.

• A. Nejati and M. Zamani, From Dissipativity Theory to Compositional Construction of Control Barrier Certificates, Leibniz Transactions on Embedded Systems (LITES) (Special Issue on Distributed Hybrid Systems), vol. 8, no. 2, 2022.

• A. Nejati, S. Soudjani, and M. Zamani, Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems, IEEE Control Systems Letters, vol. 4, no. 4, pp. 845–850, 2021.

• A. Nejati, F. Zarrabi, M. Rahimi, and Z. Mansouri, Effect of Photonic Crystal Arrangement on Metamaterial Characteristic at THz Domain, Optik International Journal for Light and Electron Optics, 126, no. 19, pp. 2153-2156, 2015.

• A. Nejati, R.A. Sadeghzadeh, and F. Geran, Effect of Photonic Crystal and Frequency Selective Surface Implementation on Gain Enhancement in the Microstrip Patch Antenna at Terahertz Frequency, Physica B: Condensed Matter, 449, pp. 113-120, 2014.
  

Conference Papers

• A. Nejati*, B. Zhong*, M. Caccamo, and M. Zamani, Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates, Learning for Dynamics and Control Conference (L4DC) (Proceedings of Machine Learning Research), pp. 763-776, 2022.

• A. Nejati, A. Lavaei, S. Soudjani, and M. Zamani, Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems, 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), vol. 54, no. 5, pp. 277-282, 2021.

• A. Nejati and M. Zamani, Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach, 21st IFAC World Congress, vol. 53, no. 2, pp. 1962–1967, 2020.

• A. Nejati, S. Soudjani, and M. Zamani, Compositional Construction of Control Barrier Functions for Networks of Continuous-Time Stochastic Systems, 21st IFAC World Congress, vol. 53, no. 2, pp. 1856–1861, 2020.

• A. Nejati, S. Soudjani, and M. Zamani, Abstraction-based Synthesis of Continuous-Time Stochastic Control Systems, emph{18th European Control Conference (ECC), pp. 3212–3217, 2019.

• A. Nejati, B. Zhong, M. Caccamo, and M. Zamani, Controller Synthesis for Unknown Polynomial-Type Systems: A Data-Driven Approach, CPS-IoT Week workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 2022.

• A. Lavaei, A. Nejati, S. Soudjani, and M. Zamani, Estimating Infinitesimal Generators of Stochastic Systems with Formal Error Bounds: A Data-Driven Approach, 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2021.

• A. Lavaei, A. Nejati, P. Jagtap, and M. Zamani, Formal Safety Verification of Unknown Continuous-Time Systems: A Data-Driven Approach, 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2021.
  

* Equally contributed

Dissertations

• [Ph.D.] A. Nejati, “Formal Verification and Control of Stochastic Hybrid Systems: Model-based and Data-driven Techniques”, Ph.D. Dissertation, Technical University of Munich (TUM), Germany, 2022.

• [M.Sc.] A. Nejati, “Design and Simulation of Periodic Structures to Increase Directivity of Terahertz (THz) Antennas", M.Sc. Thesis, IAU, Science and Research, Tehran, Iran, 2014.