Amy Nejati

18 papers Journal 12Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Data-Driven Krasovskii-Based Approach for Safety Controller Design of Time-Delayed Uncertain Polynomial Systems.
CoRR
Omid Akbarzadeh, MohammadHossein Ashoori, Amy Nejati, Abolfazl Lavaei
2026 J jnl
Safety Controller Synthesis for Stochastic Polynomial Time-Delayed Systems.
CoRR
Omid Akbarzadeh, MohammadHossein Ashoori, Amy Nejati, Abolfazl Lavaei
2025 J jnl
ARCH-COMP25 Category Report: Stochastic Models.
CoRR
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
2025 — conf
Certified Model Order Reduction from Data.
HSCC
Behrad Samari, Amy Nejati, Abolfazl Lavaei
2025 J jnl
Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies.
CoRR
Mahdieh Zaker, Amy Nejati, Abolfazl Lavaei
2025 — conf
From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees.
HSCC
Mahdieh Zaker, Amy Nejati, Abolfazl Lavaei
2025 J jnl
From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees.
CoRR
Mahdieh Zaker, Amy Nejati, Abolfazl Lavaei
2025 J jnl
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks.
CoRR
Omid Akbarzadeh, Behrad Samari, Amy Nejati, Abolfazl Lavaei
2025 — conf
Model Order Reduction from Data with Certification.
CDC
Behrad Samari, Amy Nejati, Abolfazl Lavaei
2025 J jnl
Model Order Reduction from Data with Certification.
CoRR
Behrad Samari, Amy Nejati, Abolfazl Lavaei
2025 J jnl
Physics-Informed Data-Driven Control of Nonlinear Polynomial Systems with Noisy Data.
CoRR
MohammadHossein Ashoori, Ali Aminzadeh, Amy Nejati, Abolfazl Lavaei
2025 — conf
Physics-Informed Safety Verification of Nonlinear Systems: A Scenario Approach with Data Mitigation.
ICCPS
MohammadHossein Ashoori, Ali Aminzadeh, Abolfazl Lavaei, Amy Nejati
2025 — conf
TRUST: StabiliTy and Safety ContRoller Synthesis for Unknown Dynamical Models Using a Single Trajectory.
HSCC
Jamie Gardner, Ben Wooding, Amy Nejati, Abolfazl Lavaei
2025 J jnl
TRUST: Stability and Safety Controller Synthesis for Unknown Dynamical Models Using a Single Trajectory.
CoRR
Jamie Gardner, Ben Wooding, Amy Nejati, Abolfazl Lavaei
2024 J jnl
A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems.
CoRR
Ali Aminzadeh, MohammadHossein Ashoori, Amy Nejati, Abolfazl Lavaei
2024 J jnl
Data-Driven Control of Large-Scale Networks with Formal Guarantees: A Small-Gain Free Approach.
CoRR
Behrad Samari, Amy Nejati, Abolfazl Lavaei
2024 J jnl
From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks.
CoRR
Omid Akbarzadeh, Amy Nejati, Abolfazl Lavaei
2024 — conf
Reactive Synthesis of Stochastic Control Systems: A Mode-triggered Safety Barrier Approach.
CDC
Amy Nejati, Anne-Kathrin Schmuck