14 citations · 46 across the 58 of their papers we have counts for
15 papers · 1 filter
From Dissipativity Property to Data-Driven GAS Certificate of Degree-One Homogeneous Networks with Unknown Topology
Abolfazl Lavaei, David Angeli
In this work, we propose a data-driven divide and conquer strategy for the stability analysis of interconnected homogeneous nonlinear networks of degree one with unknown models and…
From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks
Omid Akbarzadeh, Behrad Samari, Amy Nejati +1
In this work, we propose a data-driven scheme within a compositional framework with noisy data to design robust safety controllers in a fully decentralized fashion for large-scale…
Data-Driven Adaptive Second-Order Sliding Mode Control with Noisy Data
Behrad Samari, Gian Paolo Incremona, Antonella Ferrara +1
This paper proposes a data-driven approach to designing adaptive suboptimal second-order sliding mode (ASSOSM) controllers for a class of single-input nonlinear systems with partia…
Data-Efficient Control of Polynomial Systems via Physics-Guided Quadratic Constraints
MohammadHossein Ashoori, Ali Aminzadeh, Amy Nejati +1
This work addresses the critical challenge of guaranteeing safety for complex dynamical systems where precise mathematical models are uncertain and data measurements are corrupted…
Data-Driven Stochastic Control: Foundations and Guarantees
Abolfazl Lavaei
This work establishes a step forward in advancing data-driven trajectory-based methods for stochastic systems with unknown mathematical dynamics. In contrast to scenario-based appr…
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 Model Order Reduction of Nonlinear Systems with Noisy Data
Behrad Samari, Henrik Sandberg, Karl H. Johansson +1
Model order reduction techniques simplify high-dimensional dynamical systems by deriving lower-dimensional models that retain essential system characteristics. These techniques are…
Safety Controller Synthesis for Stochastic Networked Systems under Communication Constraints
Omid Akbarzadeh, Mohammad H. Mamduhi, Abolfazl Lavaei
This paper develops a framework for synthesizing safety controllers for discrete-time stochastic linear control systems (dt-SLS) operating under communication imperfections. The co…
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…
TRUST: Stability and Safety Controller Synthesis for Unknown Dynamical Models Using a Single Trajectory
Jamie Gardner, Ben Wooding, Amy Nejati +1
TRUST is an open-source software tool developed for data-driven controller synthesis of dynamical systems with unknown mathematical models, ensuring either stability or safety prop…
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…
Data-Driven Dynamic Controller Synthesis for Discrete-Time General Nonlinear Systems
Behrad Samari, Abolfazl Lavaei
Synthesizing safety controllers for general nonlinear systems is a highly challenging task, particularly when the system models are unknown, and input constraints are present. Whil…
From Data to Sliding Mode Control of Uncertain Large-Scale Networks with Unknown Dynamics
Behrad Samari, Gian Paolo Incremona, Antonella Ferrara +1
In this paper, we develop a compositional data-driven approach for the global stabilization of large-scale nonlinear networks with unknown dynamics and external perturbations. We f…
Model Order Reduction from Data with Certification
Behrad Samari, Amy Nejati, Abolfazl Lavaei
Model order reduction (MOR) involves offering low-dimensional models that effectively approximate the behavior of complex high-order systems. Due to potential model complexities an…