Amy Nejati

About

Amy Nejati is an Assistant Professor in the Secure and Resilient Systems group at the School of Computing, Newcastle University. Her research focuses on developing trustworthy data-driven techniques for the design, verification, and control of safe and secure autonomous cyber-physical systems, integrating formal methods, control theory, and data science.

Education

• Ph.D. Electrical Engineering, Technical University of Munich
• M.Sc. Electrical Engineering
• B.Sc. Electrical Engineering

Selected publications

• From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks
• Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies
• Data-Driven Formal Methods for Complex Dynamical Systems: A Survey
• Data-Driven Control of Large-Scale Networks with Formal Guarantees: A Small-Gain Free Approach
• Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach
• Estimation of Infinitesimal Generators for Stochastic Hybrid Systems via Sampling: A Formal Approach
• Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates
• From Dissipativity Theory to Compositional Construction of Control Barrier Certificates
• Compositional Construction of Control Barrier Functions for Continuous-Time Stochastic Hybrid Systems
• Compositional Abstraction-based Synthesis for Continuous-Time Stochastic Hybrid Systems