| 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 | 80 | 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 | 36 | 2021 |
| Compositional construction of control barrier functions for continuous-time stochastic hybrid systems A Nejati, S Soudjani, M Zamani Automatica 145, 110513, 2022 | 32 | 2022 |
| 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 68 (5), 3011-3024, 2023 | 31 | 2023 |
| 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 | 30 | 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 | 28 | 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 | 28 | 2020 |
| 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 | 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 | 19 | 2015 |
| Data-driven synthesis of safety controllers via multiple control barrier certificates A Nejati, M Zamani IEEE Control Systems Letters 7, 2497-2502, 2023 | 15 | 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 | 12 | 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 | 11 | 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 | 11 | 2019 |
| From dissipativity theory to compositional construction of control barrier certificates A Nejati, M Zamani Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2022 | 10 | 2022 |
| Data-driven control of large-scale networks with formal guarantees: A small-gain free approach B Samari, A Nejati, A Lavaei arXiv preprint arXiv:2411.06743, 2024 | 5 | 2024 |
| Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates A Nejati, S Prakash Nayak, AK Schmuck Proceedings of the 27th ACM International Conference on Hybrid Systems …, 2024 | 5 | 2024 |
| Formal Verification and Control of Stochastic Hybrid Systems: Model-based and Data-driven Techniques A Nejati Technische Universität München, 2023 | 5 | 2023 |
| From data to control: A formal compositional framework for large-scale interconnected networks O Akbarzadeh, A Nejati, A Lavaei arXiv preprint arXiv:2409.12469, 2024 | 2 | 2024 |
| 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 | 2 | 2022 |
| Data-Driven Safety Controller Synthesis for Unknown Systems with Wireless Communication Networks O Akbarzadeh, A Nejati, A Lavaei 2024 10th International Conference on Control, Decision and Information …, 2024 | 1 | 2024 |
Majid ZamaniAssociate Professor, University of Colorado BoulderVerified email at colorado.edu
