Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Amy Nejati

Newcastle AuthorsTitleYearFull text
Behrad Samari
Dr Amy Nejati
Dr Abolfazl Lavaei
Data-Driven Control of Large-Scale Networks with Formal Guarantees: A Small-Gain Free Approach2026
Mahdieh Zaker
Dr Amy Nejati
Dr Abolfazl Lavaei
Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies2026
Omid Akbarzadeh
Behrad Samari
Dr Amy Nejati
Dr Abolfazl Lavaei
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks2026
Mahdieh Zaker
Dr Amy Nejati
Dr Abolfazl Lavaei
From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees2025
Jamie Gardner
Dr Ben Wooding
Dr Amy Nejati
Dr Abolfazl Lavaei
TRUST: StabiliTy and Safety ContRoller Synthesis for Unknown Dynamical Models Using a Single Trajectory2025
Dr Amy Nejati
Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates2024
Omid Akbarzadeh
Dr Amy Nejati
Dr Abolfazl Lavaei
Data-Driven Safety Controller Synthesis for Unknown Systems with Wireless Communication Networks2024
Omid Akbarzadeh
Dr Amy Nejati
Dr Abolfazl Lavaei
Data-Driven Safety Controller Synthesis for Unknown Systems with Wireless Communication Networks2024
Dr Amy Nejati
Reactive Synthesis of Stochastic Control Systems: A Mode-triggered Safety Barrier Approach2024
Dr Amy Nejati
Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates2023
Dr Amy Nejati
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
Estimation of Infinitesimal Generators for Stochastic Hybrid Systems via Sampling: A Formal Approach2023
Dr Amy Nejati
Dr Abolfazl Lavaei
Dr Sadegh Soudjani
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach2023
Dr Amy Nejati
Dr Sadegh Soudjani
Compositional Construction of Control Barrier Functions for Continuous-Time Stochastic Hybrid Systems2022
Dr Amy Nejati
Controller Synthesis for Unknown Polynomial-Type Systems: A Data-Driven Approach2022
Dr Amy Nejati
Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates2022
12