Skip to main content

Staff Profile

Dr Amy Nejati

Lecturer in Computing

  • Telephone: +44 191 208 8246
  • Personal Website: https://www.amy-nejati.de
  • Address: School of Computing
    Newcastle University
    Office 6.013, Urban Sciences Building
    Newcastle, NE4 5TG, United Kingdom
Background

Amy Nejati is an Assistant Professor in the School of Computing at Newcastle University in the United Kingdom. Prior to this, she was a Postdoctoral Associate at the Max Planck Institute for Software Systems in Germany from July 2023 to May 2024. She also served as a Senior Researcher in the Computer Science Department at the Ludwig Maximilian University of Munich (LMU) from November 2022 to June 2023. She received the PhD in Electrical Engineering from the Technical University of Munich (TUM) under the supervision of Majid Zamani. She has received the B.Sc. and M.Sc. degrees both in Electrical Engineering.


For more details, please visit her official website at www.amy-nejati.de.


Research
  • Autonomous Systems
  • Safe & Secure CPS
  • Safe Autonomy & AI
  • Data-Driven Control
  • Formal Methods
Teaching
  • Spring 2025: Advanced Topics in Cyber Security (CSC8213)
  • Autumn 2024: Fault Tolerant and Cyber-Physical Systems (CSC3634)
Publications

  • Articles

    • Nejati A, Lavaei A, Jagtap P, Soudjani S, Zamani M. Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach. IEEE Transactions on Automatic Control (Special Issue on Learning for Control) 2023.
    • Nejati A, Zamani M. Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates. IEEE Control Systems Letters 2023, 7, 2497-2502.
    • Nejati A, Zamani M. From Dissipativity Theory to Compositional Construction of Control Barrier Certificates. Leibniz Transactions on Embedded Systems 2022, 8(2), 06:1-06:17.
    • Nejati A, Lavaei A, Soudjani S, Zamani M. Estimation of Infinitesimal Generators for Stochastic Hybrid Systems via Sampling: A Formal Approach. IEEE Control Systems Letters 2022.
    • Nejati A, Soudjani S, Zamani M. Compositional Construction of Control Barrier Functions for Continuous-Time Stochastic Hybrid Systems. Automatica 2022, 145, 110513.
    • Nejati, A, Soudjani, S, Zamani, M. Compositional Abstraction-based Synthesis for Continuous-Time Stochastic Hybrid Systems. European Journal of Control 2021.
    • Nejati, A, Soudjani, S, Zamani, M. Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems. IEEE Control Systems Letters 2020.
    • Nejati, A, Zarrabi, F, Rahimi, M, Mansouri, Z. Effect of Photonic Crystal Arrangement on Metamaterial Characteristic at THz Domain. Optik International Journal for Light and Electron Optics 2015.
    • Nejati, A, Sadeghzadeh, RA, Geran, F. Effect of Photonic Crystal and Frequency Selective Surface Implementation on Gain Enhancement in the Microstrip Patch Antenna at Terahertz Frequency. Physica B: Condensed Matter 2014.

  • Conference Proceedings (inc. Abstracts)

    • Nejati A, Nayak S, Schmuck A. Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates. In: 27th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2024). 2024, Hong Kong SAR, China: ACM.
    • Nejati, A, Zhong, B, Caccamo, M, Zamani, M. Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates. In: Learning for Dynamics and Control Conference (L4DC). 2022.
    • Nejati, A, Zhong, B, Caccamo, M, Zamani, M. Controller Synthesis for Unknown Polynomial-Type Systems: A Data-Driven Approach. In: CPS-IoT Week workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems. 2022.
    • Lavaei, A, Nejati, A, Jagtap, P, Zamani, M. Formal Safety Verification of Unknown Continuous-Time Systems: A Data-Driven Approach. In: 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC). 2021.
    • Lavaei, A, Nejati, A, Soudjani, S, Zamani, M. Estimating Infinitesimal Generators of Stochastic Systems with Formal Error Bounds: A Data-Driven Approach. In: 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC). 2021.
    • Nejati, A, Lavaei, A, Soudjani, S, and Zamani, M. Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems. In: 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS). 2021.
    • Nejati, A, Zamani, M. Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach. In: 21st IFAC World Congress. 2020.
    • Nejati, A, Soudjani, S, Zamani, M. Compositional Construction of Control Barrier Functions for Networks of Continuous-Time Stochastic Systems. In: 21st IFAC World Congress. 2020.
    • Nejati, A, Soudjani, S, Zamani, M. Abstraction-based Synthesis of Continuous-Time Stochastic Control Systems. In: 18th European Control Conference (ECC). 2019.