2 citations · 3 across the 9 of their papers we have counts for
4 papers · 1 filter
Data-Driven Incremental GAS Certificate of Nonlinear Homogeneous Networks: A Scenario Approach with Noisy Data
Mahdieh Zaker, David Angeli, Abolfazl Lavaei
This work focuses on a compositional data-driven approach to verify incremental global asymptotic stability (delta-GAS) over interconnected homogeneous networks of degree one with…
Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies
Mahdieh Zaker, Amy Nejati, Abolfazl Lavaei
Infinite networks are complex interconnected systems comprising a countably infinite number of subsystems, for which no fixed upper bound on the number of participating subsystems…
ARCH-COMP25 Category Report: Stochastic Models
Alessandro Abate, Omid Akbarzadeh, Henk A. P. Blom +14
This report is concerned with a friendly competition for formal verification and policy synthesis of stochastic models. The main goal of the report is to introduce new benchmarks a…
From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees
Mahdieh Zaker, Amy Nejati, Abolfazl Lavaei
We offer a compositional data-driven scheme for synthesizing controllers that ensure global asymptotic stability (GAS) across large-scale interconnected networks, characterized by…