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 | 74 | 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 | 35 | 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 | 26 | 2020 |
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems A Nejati, S Soudjani, M Zamani Automatica 145, 110513, 2022 | 23 | 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 | 20 | 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 | 19 | 2022 |
Compositional construction of finite MDPs for continuous-time stochastic systems: A dissipativity approach A Nejati, M Zamani IFAC-PapersOnLine 53 (2), 1962-1967, 2020 | 19 | 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 | 18 | 2015 |
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 | 11 | 2023 |
Data-driven estimation of infinitesimal generators of stochastic systems A Nejati, A Lavaei, S Soudjani, M Zamani IFAC-PapersOnLine 54 (5), 277-282, 2021 | 10 | 2021 |
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 |
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 | 9 | 2021 |
From dissipativity theory to compositional construction of control barrier certificates A Nejati, M Zamani Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2022 | 6 | 2022 |
Data-driven synthesis of safety controllers via multiple control barrier certificates A Nejati, M Zamani IEEE Control Systems Letters, 2023 | 4 | 2023 |
Formal Verification and Control of Stochastic Hybrid Systems: Model-based and Data-driven Techniques A Nejati Technische Universität München, 2023 | 4 | 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 |
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, ... | | |