Mahdieh Zaker
Dr Amy Nejati
Dr Abolfazl Lavaei
| From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees | 2025 |
|
Jamie Gardner
Dr Ben Wooding
Dr Amy Nejati
Dr Abolfazl Lavaei
| TRUST: StabiliTy and Safety ContRoller Synthesis for Unknown Dynamical Models Using a Single Trajectory | 2025 |
|
Dr Amy Nejati
| Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates | 2024 |
|
Omid Akbarzadeh
Dr Amy Nejati
Dr Abolfazl Lavaei
| Data-Driven Safety Controller Synthesis for Unknown Systems with Wireless Communication Networks | 2024 |
|
Omid Akbarzadeh
Dr Amy Nejati
Dr Abolfazl Lavaei
| Data-Driven Safety Controller Synthesis for Unknown Systems with Wireless Communication Networks | 2024 |
|
Dr Amy Nejati
| Reactive Synthesis of Stochastic Control Systems: A Mode-triggered Safety Barrier Approach | 2024 |
|
Dr Amy Nejati
| Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates | 2023 |
|
Dr Amy Nejati
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
| Estimation of Infinitesimal Generators for Stochastic Hybrid Systems via Sampling: A Formal Approach | 2023 |
|
Dr Amy Nejati
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
| Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach | 2023 |
|
Dr Amy Nejati
Dr Sadegh Soudjani
| Compositional Construction of Control Barrier Functions for Continuous-Time Stochastic Hybrid Systems | 2022 |
|
Dr Amy Nejati
| Controller Synthesis for Unknown Polynomial-Type Systems: A Data-Driven Approach | 2022 |
|
Dr Amy Nejati
| Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates | 2022 |
|
Dr Amy Nejati
| From Dissipativity Theory to Compositional Construction of Control Barrier Certificates | 2022 |
|
Dr Amy Nejati
Dr Sadegh Soudjani
| Compositional Abstraction-based Synthesis for Continuous-Time Stochastic Hybrid Systems | 2021 |
|
Dr Amy Nejati
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
| Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems | 2021 |
|
Dr Abolfazl Lavaei
Dr Amy Nejati
Dr Sadegh Soudjani
| Estimating Infinitesimal Generators of Stochastic Systems with Formal Error Bounds: A Data-Driven Approach | 2021 |
|
Dr Abolfazl Lavaei
Dr Amy Nejati
Pushpak Jagtap
| Formal Safety Verification of Unknown Continuous-Time Systems: A Data-Driven Approach | 2021 |
|
