Amy Nejati

According to our database, Amy Nejati authored at least 16 papers between 2024 and 2026.

Collaborative distances:

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

2026

Data-Driven Global Stabilization of Unknown Infinite Networks.

Mahdieh Zaker, Andrii Mironchenko, Amy Nejati, Abolfazl Lavaei

CoRR, April, 2026

Safety Controller Synthesis for Stochastic Polynomial Time-Delayed Systems.

Omid Akbarzadeh, MohammadHossein Ashoori, Amy Nejati, Abolfazl Lavaei

CoRR, February, 2026

A Data-Driven Krasovskii-Based Approach for Safety Controller Design of Time-Delayed Uncertain Polynomial Systems.

Omid Akbarzadeh, MohammadHossein Ashoori, Amy Nejati, Abolfazl Lavaei

CoRR, January, 2026

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

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

Model Order Reduction from Data with Certification.

Behrad Samari, Amy Nejati, Abolfazl Lavaei

Proceedings of the 64th IEEE Conference on Decision 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