Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Abolfazl Lavaei

Newcastle AuthorsTitleYearFull text
Mahdieh Zaker
Omid Akbarzadeh
Behrad Samari
Dr Abolfazl Lavaei
Compositional Design of Safety Controllers for Large-Scale Stochastic Hybrid Systems2026
Behrad Samari
Dr Amy Nejati
Dr Abolfazl Lavaei
Data-Driven Control of Large-Scale Networks with Formal Guarantees: A Small-Gain Free Approach2026
Behrad Samari
Dr Abolfazl Lavaei
Data-Driven Model Order Reduction of Nonlinear Systems with Noisy Data2026
Mahdieh Zaker
Dr Amy Nejati
Dr Abolfazl Lavaei
Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies2026
Behrad Samari
Dr Abolfazl Lavaei
From Data to Sliding Mode Control of Uncertain Large-Scale Networks with Unknown Dynamics2026
Dr Abolfazl Lavaei
From Dissipativity Property to Data-Driven GAS Certificate of Degree-One Homogeneous Networks with Unknown Topology2026
Omid Akbarzadeh
Behrad Samari
Dr Amy Nejati
Dr Abolfazl Lavaei
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks2026
Dr Abolfazl Lavaei
Towards Certified Sim-to-Real Transfer via Stochastic Simulation-Gap Functions2026
Mahdieh Zaker
Dr Amy Nejati
Dr Abolfazl Lavaei
From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees2025
Dr Abolfazl Lavaei
PRoTECT: Parallelized ConstRuction of SafeTy BarriEr Certificates for Nonlinear Polynomial SysTems2025
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 Abolfazl Lavaei
Abstraction-based Synthesis of Stochastic Hybrid Systems2024
Dr Abolfazl Lavaei
Compositional Safety Verification of Infinite Networks: A Data-Driven Approach2024
Dr Abolfazl Lavaei
Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications2024
Dr Abolfazl Lavaei
Compositional Synthesis of Safety Barrier Certificates for Infinite Networks2024
12345