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
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, 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, 2020.
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, 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
Nonlinear Control
Modeling and Verification of Embedded Systems
Functional Analysis
Probability Theory
Control Theory