Staff Profile

Amy Nejati is an Assistant Professor in the Secure and Resilient Systems group at the School of Computing, Newcastle University, United Kingdom. Prior to this, she was a Postdoctoral Associate at the Max Planck Institute for Software Systems (MPI-SWS) in Germany, working with Anne-Kathrin Schmuck from July 2023 to May 2024. She also served as a Senior Researcher in the Computer Science Department at Ludwig Maximilian University of Munich (LMU). She obtained her Ph.D. in Electrical Engineering from the Technical University of Munich (TUM), within the Hybrid Control Systems Lab under the supervision of Prof. Majid Zamani. She holds both B.Sc. and M.Sc. degrees in Electrical Engineering. In 2024, she was selected as a CPS Rising Star.

Her research focuses on developing trustworthy (data-driven) techniques and algorithms for the design, verification, and control of safe and secure autonomous cyber-physical systems (CPS), while providing mathematical guarantees. She integrates interdisciplinary concepts from formal methods, control theory, and data science. Her work addresses a variety of real-world safety-security-critical systems, including robotics, energy, intelligent transportation networks, and automated manufacturing systems.

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

• Autonomous Systems
• Safe & Secure CPS
• Safe Autonomy & AI
• Data-Driven Control
• Formal Methods

• Spring 2025: Advanced Topics in Cyber Security (CSC8213)
• Autumn 2024: Fault Tolerant and Cyber-Physical Systems (CSC3634)

• 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 2023, 68(5), 3011-3024.
  • 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 2023, 7, 223-228.
  • 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, 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, 57, 82-94.
  • 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, Schmuck A. Reactive Synthesis of Stochastic Control Systems: A Mode-triggered Safety Barrier Approach. In: 63rd IEEE Conference on Decision and Control (CDC 2024). 2024, Milan, Italy: IEEE.
  • Akbarzadeh O, Nejati A, Lavaei A. Data-Driven Safety Controller Synthesis for Unknown Systems with Wireless Communication Networks. In: 10th International Conference on Control, Decision and Information Technologies (CoDIT 2024). 2024.
  • 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.