Effect of photonic crystal and frequency selective surface implementation on gain enhancement in the microstrip patch antenna at terahertz frequency A Nejati, RA Sadeghzadeh, F Geran Physica B: Condensed Matter 449, 113-120, 2014 | 67 | 2014 |
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems A Nejati, S Soudjani, M Zamani European Journal of Control 57, 82-94, 2021 | 29 | 2021 |
Compositional construction of control barrier certificates for large-scale stochastic switched systems A Nejati, S Soudjani, M Zamani IEEE Control Systems Letters 4 (4), 845-850, 2020 | 22 | 2020 |
The effect of photonic crystal arrangement on metamaterial characteristic at THz domain A Nejati, FB Zarrabi, M Rahimi, Z Mansouri Optik-International Journal for Light and Electron Optics 126 (19), 2153-2156, 2015 | 17 | 2015 |
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems A Nejati, S Soudjani, M Zamani Automatica 145, 110513, 2022 | 15 | 2022 |
Compositional construction of control barrier functions for networks of continuous-time stochastic systems A Nejati, S Soudjani, M Zamani IFAC-PapersOnLine 53 (2), 1856-1861, 2020 | 15 | 2020 |
Compositional construction of finite MDPs for continuous-time stochastic systems: A dissipativity approach A Nejati, M Zamani IFAC-PapersOnLine 53 (2), 1962-1967, 2020 | 14 | 2020 |
Data-driven controller synthesis of unknown nonlinear polynomial systems via control barrier certificates A Nejati, B Zhong, M Caccamo, M Zamani Learning for Dynamics and Control Conference, 763-776, 2022 | 10 | 2022 |
Abstraction-based synthesis of continuous-time stochastic control systems A Nejati, S Soudjani, M Zamani 2019 18th European Control Conference (ECC), 1-6, 2019 | 10 | 2019 |
Data-driven estimation of infinitesimal generators of stochastic systems A Nejati, A Lavaei, S Soudjani, M Zamani IFAC-PapersOnLine 54 (5), 277-282, 2021 | 7 | 2021 |
Formal safety verification of unknown continuous-time systems: a data-driven approach A Lavaei, A Nejati, P Jagtap, M Zamani Proceedings of the 24th International Conference on Hybrid Systems …, 2021 | 5 | 2021 |
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, 2023 | 3 | 2023 |
From Dissipativity Theory to Compositional Construction of Control Barrier Certificates A Nejati, M Zamani Leibniz Transactions on Embedded Systems 8 (2), 06: 1-06: 17, 2022 | 3 | 2022 |
Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates A Nejati, M Zamani IEEE Control Systems Letters, 2023 | 2 | 2023 |
Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach A Nejati, A Lavaei, S Soudjani, M Zamani IEEE Control Systems Letters 7, 223-228, 2022 | 1 | 2022 |
Controller Synthesis for Unknown Polynomial-Type Systems: A Data-Driven Approach A Nejati, B Zhong, M Caccamo, M Zamani 2022 2nd International Workshop on Computation-Aware Algorithmic Design for …, 2022 | 1 | 2022 |
Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach A Lavaei, A Nejati, S Soudjani, M Zamani Proceedings of the 24th International Conference on Hybrid Systems …, 2021 | 1 | 2021 |
Formal Verification and Control of Stochastic Hybrid Systems: Model-based and Data-driven Techniques A Nejati Technische Universität München, 2023 | | 2023 |
CAADCPS 2022 A Pinto, S Plambeck, G Fey, A Devonport, A Saoud, A Nejati, B Zhong, ... | | |
NSM Converges to a k-NN Regressor Under Loose Lipschitz Estimates... ET Maddalena and CN Jones 880 L Zino, A Rizzo, M Porfiri, C Califano, CH Moog, M Tranninger, R Seeber, ... | | |