Folgen
Ameneh Nejati
Titel
Zitiert von
Zitiert von
Jahr
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
672014
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems
A Nejati, S Soudjani, M Zamani
European Journal of Control 57, 82-94, 2021
292021
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
222020
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
172015
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems
A Nejati, S Soudjani, M Zamani
Automatica 145, 110513, 2022
152022
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
152020
Compositional construction of finite MDPs for continuous-time stochastic systems: A dissipativity approach
A Nejati, M Zamani
IFAC-PapersOnLine 53 (2), 1962-1967, 2020
142020
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
102022
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
Data-driven estimation of infinitesimal generators of stochastic systems
A Nejati, A Lavaei, S Soudjani, M Zamani
IFAC-PapersOnLine 54 (5), 277-282, 2021
72021
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
52021
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
32023
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
32022
Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates
A Nejati, M Zamani
IEEE Control Systems Letters, 2023
22023
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
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, ...
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20