Ameneh Nejati
 |
Ameneh Nejati |
Biography
Ameneh Nejati is currently a PhD candidate in the Hybrid Control Systems Lab, Department of Electrical and Computer Engineering at the Technical University of Munich (TUM) since April, 2018. 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 "Automated Verification and Control of Continuous-Time Stochastic Hybrid Systems using Compositional Abstraction-based Techniques".
Her research interests revolve around formal methods, large-scale cyber-physical systems, networks of stochastic processes, wireless sensor networks and wireless communications.
Publications
Preprints
A. Nejati, S. Soudjani, and M. Zamani, Compositional Abstraction-based Synthesis for Continuous-Time Stochastic Hybrid Systems, Submitted for publication, 2019.
Journal Papers
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, 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
Modeling and Verification of Embedded Systems
Functional Analysis
Probability Theory
Control Theory