Ameneh Nejati
Biography
Ameneh Nejati is currently a PhD candidate in the Hybrid Control Systems (HyConSys) Lab, Department of Electrical and Computer Engineering at the Technical University of Munich (TUM) since April, 2018. Between May 2017 and March 2018, she was a visiting scholar at the Department of Electrical and Computer Engineering at TUM. She has received the B.Sc. and M.Sc. degrees both in Electrical Engineering with specialization in Communications. During her PhD studies, she has been working on "Formal Verification and Synthesis of (Black-Box) Continuous-Time Stochastic Hybrid Systems".
Her research interests revolve around formal methods, large-scale cyber-physical systems, networks of stochastic processes, data-driven optimization, and wireless communications.
Publications
Preprints
A. Nejati, A. Lavaei, P. Jagtap, S. Soudjani, and M. Zamani, Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach, submitted for publication, 2021.
A. Nejati, A. Lavaei, P. Jagtap, and M. Zamani, A Data-Driven Approach for Formal Verification of Dynamical Systems with Unknown Models, submitted for publication, 2021.
A. Nejati, S. Soudjani, and M. Zamani, Compositional construction of control barrier functions for continuous-time stochastic hybrid systems, submitted for publication, 2020.
A. Nejati, and M. Zamani, From dissipativity theory to compositional construction of control barrier certificates, submitted for publication, 2020.
Journal Papers
A. Nejati, S. Soudjani, and M. Zamani, Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems, IEEE Control Systems Letters (presented at CDC 2020), vol. 4, no. 4, pp. 845-850, 2020.
A. Nejati, S. Soudjani, and M. Zamani, Compositional Abstraction-based Synthesis for Continuous-Time Stochastic Hybrid Systems, European Journal of Control, vol. 57, pp. 82-94, 2021.
A. Nejati, F. Zarrabi, M. Rahimi, and Z. Mansouri, Effect of Photonic Crystal Arrangement on Metamaterial Characteristic at THz Domain, Optik International Journal for Light and Electron Optics, 126, no. 19, pp. 2153-2156, 2015.
A. Nejati, R.A. Sadeghzadeh, and F. Geran, Effect of Photonic Crystal and Frequency Selective Surface Implementation on Gain Enhancement in the Microstrip Patch Antenna at Terahertz Frequency, Physica B: Condensed Matter, 449, pp. 113-120, 2014.
Conference Papers
A. Nejati, A. Lavaei, S. Soudjani, and M. Zamani, Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems, 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), to appear, 2021.
A. Lavaei, A. Nejati, P. Jagtap, and M. Zamani, Formal Safety Verification of Unknown Continuous-Time Systems: A Data-Driven Approach, 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), to appear, 2021.
A. Lavaei, A. Nejati, S. Soudjani, and M. Zamani, Estimating Infinitesimal Generators of Stochastic Systems with Formal Error Bounds: A Data-Driven Approach, 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), to appear, 2021.
A. Nejati, and M. Zamani, Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach, 21st IFAC World Congress, to appear, 2020.
A. Nejati, S. Soudjani, and M. Zamani, Compositional Construction of Control Barrier Functions for Networks of Continuous-Time Stochastic Systems, 21st IFAC World Congress, to appear, 2020.
A. Nejati, S. Soudjani, and M. Zamani, Abstraction-based Synthesis of Continuous-Time Stochastic Control Systems, 18th European Control Conference (ECC), pp. 3212-3217, 2019.
Courses Taken at TUM
|