Ameneh Nejati
 |
Ameneh Nejati |
Biography
Ameneh Nejati is the last-year PhD Candidate in Electrical Engineering Department at the Technical University of Munich (TUM) under the supervision of Prof. Majid Zamani. She is also a Research Scientist in Computer Science Department at the Ludwig Maximilian University of Munich (LMU). During her Ph.D. studies since April 2018, she has visited different top-ranked schools outside of Germany including (i) ETH Zurich, Switzerland, (ii) Newcastle University, United Kingdom, and (iii) University of Colorado Boulder, United States. She has received the B.Sc. and M.Sc. degrees both in Electrical Engineering.
Her line of research mainly focuses on developing efficient (AI-based) techniques to design and control highly-reliable autonomous systems while providing mathematical guarantees. In her research, she brings together interdisciplinary concepts from control theory, formal methods in computer science, and data science. Application domain of her research spans a wide range of real-life safety-critical systems including automotive, robotics, transportation systems, energy, healthcare, and so on. For more details, please see her Google scholar.
Research Interests
Autonomous Systems
Stochastic Hybrid Networks
Data-Driven Control
Formal Methods
Trustworthy Autonomy & AI
Publications
Journal Papers
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, S. Soudjani, and M. Zamani, Compositional Construction of Control Barrier Functions for Continuous-Time Stochastic Hybrid Systems, Automatica, vol. 145, 2022.
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, A. Lavaei, S. Soudjani, and M. Zamani, Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach, IEEE Control Systems Letters (presented at CDC 2022), vol. 7, pp. 223-228, 2022.
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, 2021.
A. Nejati, and M. Zamani, From Dissipativity Theory to Compositional Construction of Control Barrier Certificates, Leibniz Transactions on Embedded Systems (LITES) (Special Issue on Distributed Hybrid Systems), vol. 8, no. 2, 2022.
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, B. Zhong, M. Caccamo, and M. Zamani, Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates, Learning for Dynamics and Control Conference (L4DC), pp. 763-776, 2022.
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), vol. 54, no. 5, pp. 277–282, 2021.
A. Nejati, and M. Zamani, Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach, 21st IFAC World Congress, vol. 53, no. 2, pp. 1962–1967, 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, vol. 53, no. 2, pp. 1856–1861, 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.
A. Nejati, B. Zhong, M. Caccamo, and M. Zamani, Controller Synthesis of Unknown Nonlinear Polynomial Systems: A Data Driven Approach, CPS-IoT Week Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 2022.
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), 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), 2021.
Conference Presentation & Workshop Attendance
December 2022: 61st IEEE Conference on Decision and Control (CDC), Cancún, Mexico
May 2022: 25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Milan, Italy
May 2022: Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS)
July 2021: 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Brussels, Belgium
June 2021: EPFL & ETHZ Summer School on Foundation and Mathematical Guarantees for Data-Driven Control, ETH Zurich, Switzerland
April 2020: 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Virtual
December 2020: Data-Driven Control Workshop in CDC 2020, Jeju Island, Republic of Korea
December 2020: 59th IEEE Conference on Decision and Control (CDC), Jeju Island, Republic of Korea
July 2020: 21st IFAC World Congress, Berlin, Germany
June 2019: European Control Conference (ECC), Naples, Italy
April 2019: TUM Seminar: Presenting Papers and Posters at International Conferences, Munich, Germany
March 2019: TUM Seminar: Scientific Paper Writing, Munich, Germany
July 2018: Munich Aerospace Summer School, Munich, Germany
April 2018: 21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Porto, Portugal
June 2017: TUM Workshop: Information and Communication Theory in Control Systems, Munich, Germany
Professional Services: Reviewing Activities
Journals: IEEE Transaction on Automatic Control (TAC, IEEE), Automatica (Elsevier), Information and Computation Journal (Elsevier), Nonlinear Analysis: Hybrid Systems (NAHS, Elsevier), IEEE Control Systems Letters (L-CSS, IEEE), IEEE Systems & Control Letters
Conferences: IEEE Conference on Decision and Control (CDC), IEEE European Control Conference (ECC), IEEE American Control Conference (ACC), IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), IFAC World Congress
Advanced Courses Taken at TUM
Control Theory
Nonlinear Control
Modeling and Verification of Embedded Systems
Functional Analysis
Probability Theory