:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Lavaei, Abolfazl, Angeli, David
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2512.20076
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Data-Driven Incremental GAS Certificate of Nonlinear Homogeneous Networks: A Scenario Approach with Noisy Data
by: Zaker, Mahdieh, et al.
Published: (2025)

Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies
by: Zaker, Mahdieh, et al.
Published: (2025)

From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks
by: Akbarzadeh, Omid, et al.
Published: (2025)

Certified Learning of Incremental ISS Controllers for Unknown Nonlinear Polynomial Dynamics
by: Zaker, Mahdieh, et al.
Published: (2024)

Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials
by: Wooding, Ben, et al.
Published: (2024)

Data-Driven Global Stabilization of Unknown Infinite Networks
by: Zaker, Mahdieh, et al.
Published: (2026)

From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees
by: Zaker, Mahdieh, et al.
Published: (2025)

Model Order Reduction from Data with Certification
by: Samari, Behrad, et al.
Published: (2025)

Data-Driven Stochastic Control via Non-i.i.d. Trajectories: Foundations and Guarantees
by: Lavaei, Abolfazl
Published: (2025)

From Data to Sliding Mode Control of Uncertain Large-Scale Networks with Unknown Dynamics
by: Samari, Behrad, et al.
Published: (2025)

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics
by: Wooding, Ben, et al.
Published: (2026)

Data-Driven Dynamic Controller Synthesis for Discrete-Time General Nonlinear Systems
by: Samari, Behrad, et al.
Published: (2025)

PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems
by: Wooding, Ben, et al.
Published: (2024)

Data-Driven Control of Large-Scale Networks with Formal Guarantees: A Small-Gain Free Approach
by: Samari, Behrad, et al.
Published: (2024)

From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks
by: Akbarzadeh, Omid, et al.
Published: (2024)

Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories
by: Samari, Behrad, et al.
Published: (2024)

TRUST: Stability and Safety Controller Synthesis for Unknown Dynamical Models Using a Single Trajectory
by: Gardner, Jamie, et al.
Published: (2025)

Data-Driven Model Order Reduction of Nonlinear Systems with Noisy Data
by: Samari, Behrad, et al.
Published: (2025)

Data-Driven Adaptive Second-Order Sliding Mode Control with Noisy Data
by: Samari, Behrad, et al.
Published: (2025)

IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems
by: Wooding, Ben, et al.
Published: (2024)

A Data-Driven Krasovskii-Based Approach for Safety Controller Design of Time-Delayed Uncertain Polynomial Systems
by: Akbarzadeh, Omid, et al.
Published: (2026)

From Noisy Data to Hierarchical Control: A Model-Order-Reduction Framework
by: Samari, Behrad, et al.
Published: (2026)

Safety Controller Synthesis for Stochastic Networked Systems under Communication Constraints
by: Akbarzadeh, Omid, et al.
Published: (2025)

From a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems
by: Samari, Behrad, et al.
Published: (2024)

Towards Certified Sim-to-Real Transfer via Stochastic Simulation-Gap Functions
by: Sangeerth, P, et al.
Published: (2026)

Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach
by: Wooding, Ben, et al.
Published: (2023)

Towards Mitigating Sim2Real Gaps: A Formal Quantitative Approach
by: Sangeerth, P, et al.
Published: (2024)

Tube-Based Robust Data-Driven Predictive Control
by: Wang, Chi, et al.
Published: (2026)

Data-Driven Synthesis of Robust Positively Invariant Sets from Noisy Data
by: Wang, Chi, et al.
Published: (2026)

Data-Efficient Control of Polynomial Systems via Physics-Guided Quadratic Constraints
by: Ashoori, MohammadHossein, et al.
Published: (2025)

A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems
by: Aminzadeh, Ali, et al.
Published: (2024)

Online Data-Driven Safety Certification for Systems Subject to Unknown Disturbances
by: Rober, Nicholas, et al.
Published: (2023)

Learning Robust Safety Controllers for Uncertain Input-Affine Polynomial Systems
by: Akbarzadeh, Omid, et al.
Published: (2024)

Compositional Design of Safety Controllers for Large-Scale Stochastic Hybrid Systems
by: Zaker, Mahdieh, et al.
Published: (2024)

Safety Controller Synthesis for Stochastic Polynomial Time-Delayed Systems
by: Akbarzadeh, Omid, et al.
Published: (2026)

An Input-Output Data-Driven Dissipativity Approach for Compositional Stability Certification of Interconnected LTI MIMO Systems
by: Sandoval-Carranza, Alejandra, et al.
Published: (2025)

Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness
by: Zaker, Mahdieh, et al.
Published: (2024)

Data-Driven Cooperative Output Regulation of Continuous-Time Multi-Agent Systems with Unknown Network Topology
by: Ren, Peng, et al.
Published: (2024)

Data-Driven Certificate Synthesis
by: Rickard, Luke, et al.
Published: (2025)

Topology Inference for Network Systems with Unknown Inputs
by: Jiao, Qing, et al.
Published: (2020)