Follow
Amy Nejati
Title
Cited by
Cited by
Year
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
732014
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
A Nejati, S Soudjani, M Zamani
European Journal of Control 57, 82-94, 2021
312021
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
252020
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems
A Nejati, S Soudjani, M Zamani
Automatica 145, 110513, 2022
222022
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
202020
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
182015
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
172022
Compositional construction of finite MDPs for continuous-time stochastic systems: A dissipativity approach
A Nejati, M Zamani
IFAC-PapersOnLine 53 (2), 1962-1967, 2020
162020
Data-driven estimation of infinitesimal generators of stochastic systems
A Nejati, A Lavaei, S Soudjani, M Zamani
IFAC-PapersOnLine 54 (5), 277-282, 2021
102021
Abstraction-based synthesis of continuous-time stochastic control systems
A Nejati, S Soudjani, M Zamani
2019 18th European Control Conference (ECC), 1-6, 2019
102019
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
92023
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
92021
Data-driven synthesis of safety controllers via multiple control barrier certificates
A Nejati, M Zamani
IEEE Control Systems Letters, 2023
42023
From dissipativity theory to compositional construction of control barrier certificates
A Nejati, M Zamani
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2022
32022
Formal Verification and Control of Stochastic Hybrid Systems: Model-based and Data-driven Techniques
A Nejati
Technische Universität München, 2023
12023
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
12022
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
12022
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
12021
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, ...
The system can't perform the operation now. Try again later.
Articles 1–20