Ameneh Nejati

Ameneh Nejati 

Ameneh Nejati
Ph.D. Candidate

Department of Electrical and Computer Engineering
Technical University of Munich
Room: 3019 in building 2906
Karlstr. 45/47
80333 München

Tel: +49.89.289.26919
E-Mail: amy.nejati@tum.de

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

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