Ameneh Nejati

Ameneh Nejati 

Ameneh Nejati
Ph.D. Candidate

Department of Electrical and Computer Engineering
Technical University of Munich

Room: 3963 in building 0509
Arcisstr. 21
80333 München

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

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

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

  • Nonlinear Control

  • Modeling and Verification of Embedded Systems

  • Functional Analysis

  • Probability Theory

  • Control Theory