Publications
Preprints
M. Ashoori, A. Aminzadeh, A. Nejati, and A. Lavaei, Physics-Informed Data-Driven Control of Nonlinear Polynomial Systems with Noisy Data, submitted for publication, 2025.
A. Aminzadeh, M. Ashoori, A. Nejati, and A. Lavaei, A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems, submitted for publication, 2024.
B. Samari, A. Nejati, and A. Lavaei, Data-Driven Control of Large-Scale Networks with Formal Guarantees: A Small-Gain Free Approach, submitted for publication, 2024.
M. Zaker, A. Nejati, and A. Lavaei, Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies, submitted for publication, 2024.
O. Akbarzadeh, A. Nejati, and A. Lavaei, From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks, submitted for publication, 2024.
O. Akbarzadeh, B. Samari, A. Nejati, and A. Lavaei, From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks, submitted for publication, 2024.
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
B. Samari, A. Nejati, and A. Lavaei, Model Order Reduction from Data with Certification, 64th IEEE Conference on Decision and Control (CDC 2025), to appear, 2025.
A. Abate, O. Akbarzadeh, H. A.P. Blom, S. Haesaert, S. Hassani, A. Lavaei, F. Baymler Mathiesen, R. Misra, A. Nejati, M. Niehage, F. Ørum, A. Remke, B. Samari, R. Wang, R. Wisniewski, B. Wooding, and M. Zaker, ARCH-COMP25 Category Report: Stochastic Models, 12th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH), EPiC Series in Computing, to appear, 2025.
M. Zaker, A. Nejati, and A. Lavaei, From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees, 28th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2025), pp. 1-14, 2025. (Best Repeatability Award Finalist)
J. Gardner, B. Wooding, A. Nejati, and A. Lavaei, TRUST: Stability and Safety Controller Synthesis for Unknown Dynamical Models Using a Single Trajectory, 28th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2025), pp. 1-16, 2025.
B. Samari, A. Nejati, and A. Lavaei, Certified Model Order Reduction from Data, 28th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2025), 2025.
M. Ashoori, A. Aminzadeh, A. Lavaei, and A. Nejati, Physics-Informed Safety Verification of Nonlinear Systems: A Scenario Approach with Data Mitigation, 16th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), 2025.
A. Nejati and A.-K. Schmuck, Reactive Synthesis of Stochastic Control Systems: A Mode-triggered Safety Barrier Approach, 63rd IEEE Conference on Decision and Control (CDC 2024), pp. 5225-5230, 2024.
O. Akbarzadeh, A. Nejati, and A. Lavaei, Data-Driven Safety Controller Synthesis for Unknown Systems with Wireless Communication Networks, 10th International Conference on Control, Decision and Information Technologies (CoDIT 2024) – Special Session on Data-Driven Approach for Modelling, Control and Optimization of Cyber-Physical Systems, pp. 2229–2234, 2024.
A. Nejati, S. P. Nayak, and A.-K. Schmuck, Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates, 27th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2024), pp. 1-12, 2024.
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, 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
Dissertation
|