Amy Nejati

According to our database, Amy Nejati authored at least 13 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks.

Omid Akbarzadeh, Behrad Samari, Amy Nejati, Abolfazl Lavaei

CoRR, August, 2025

Physics-Informed Data-Driven Control of Nonlinear Polynomial Systems with Noisy Data.

MohammadHossein Ashoori, Ali Aminzadeh, Amy Nejati, Abolfazl Lavaei

CoRR, August, 2025

Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies.

Mahdieh Zaker, Amy Nejati, Abolfazl Lavaei

CoRR, July, 2025

ARCH-COMP25 Category Report: Stochastic Models.

Alessandro Abate, Omid Akbarzadeh, Henk A. P. Blom, Sofie Haesaert, Sina Hassani, Abolfazl Lavaei, Frederik Baymler Mathiesen, Rahul Misra, Amy Nejati, Mathis Niehage, Fie Ørum, Anne Remke, Behrad Samari, Ruohan Wang, Rafal Wisniewski, Ben Wooding, Mahdieh Zaker

CoRR, June, 2025

Model Order Reduction from Data with Certification.

Behrad Samari, Amy Nejati, Abolfazl Lavaei

CoRR, February, 2025

Physics-Informed Safety Verification of Nonlinear Systems: A Scenario Approach with Data Mitigation.

MohammadHossein Ashoori, Ali Aminzadeh, Abolfazl Lavaei, Amy Nejati

Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems, 2025

From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees.

Mahdieh Zaker, Amy Nejati, Abolfazl Lavaei

Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 2025

Certified Model Order Reduction from Data.

Behrad Samari, Amy Nejati, Abolfazl Lavaei

Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 2025

TRUST: StabiliTy and Safety ContRoller Synthesis for Unknown Dynamical Models Using a Single Trajectory.

Jamie Gardner, Ben Wooding, Amy Nejati, Abolfazl Lavaei

Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 2025

2024

A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems.

Ali Aminzadeh, MohammadHossein Ashoori, Amy Nejati, Abolfazl Lavaei

CoRR, 2024

Data-Driven Control of Large-Scale Networks with Formal Guarantees: A Small-Gain Free Approach.

Behrad Samari, Amy Nejati, Abolfazl Lavaei

CoRR, 2024

From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks.

Omid Akbarzadeh, Amy Nejati, Abolfazl Lavaei

CoRR, 2024

Reactive Synthesis of Stochastic Control Systems: A Mode-triggered Safety Barrier Approach.

Amy Nejati, Anne-Kathrin Schmuck

Proceedings of the 63rd IEEE Conference on Decision and Control, 2024