Cover Image

The First Open-Source Framework for Learning Stability Certificates from Data

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Shen, Zhe
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Distributed Stability Certification and Control from Local Data
by: Malladi, Surya, et al.
Published: (2026)

Converse Theorems for Certificates of Safety and Stability
by: Mestres, Pol, et al.
Published: (2024)

Stability Certificates for Receding Horizon Games
by: Hall, Sophie, et al.
Published: (2024)

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems
by: Zhou, Ruikun, et al.
Published: (2024)

Data-Driven Distributed Stability Certification for Power Systems via Input-State Trajectories
by: Zhang, Xiaohui, et al.
Published: (2026)

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

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

Certificates of Nonexistence for Lyapunov-Based Stability, Stabilizability and Detectability of LPV Systems
by: Meijer, T. J., et al.
Published: (2023)

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

Decentralized Parametric Stability Certificates for Grid-Forming Converter Control
by: Häberle, Verena, et al.
Published: (2025)

PowerPlots.jl: An Open Source Power Grid Visualization and Data Analysis Framework for Academic Research
by: Rhodes, Noah
Published: (2025)

Diagnostic Certificates of Data Quality and Regression Identifiability for Koopman Identification
by: Wu, Yue
Published: (2026)

Geometric Decentralized Stability Certificate for Power Systems Based on Projecting DW Shells
by: Huang, Linbin, et al.
Published: (2025)

Dynamic Passivity Multipliers for Plug-and-Play Stability Certificates of Converter-Dominated Grids
by: Gorbunov, Andrey, et al.
Published: (2026)

Continuous-time Data-driven Barrier Certificate Synthesis
by: Rickard, Luke, et al.
Published: (2025)

An Open-Source Simulation and Data Management Tool for EnergyPlus Building Models
by: Gaikwad, Ninad, et al.
Published: (2025)

Neural Network Certification Informed Power System Transient Stability Preventive Control with Renewable Energy
by: Su, Tong, et al.
Published: (2024)

Data to Certificate: Guaranteed Cost Control with Quantization-Aware System Identification
by: Ataei, Shahab, et al.
Published: (2025)

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

Training with Hard Constraints: Learning Neural Certificates and Controllers for SDEs
by: Kong, Chun-Wei, et al.
Published: (2026)

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

Vector Certificates for $ω$-regular Specifications
by: Oumer, Mohammed Adib, et al.
Published: (2026)

Distributionally Robust Policy and Lyapunov-Certificate Learning
by: Long, Kehan, et al.
Published: (2024)

Towards Data-Driven Model-Free Safety-Critical Control
by: Shen, Zhe, et al.
Published: (2025)

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

SAFE--MA--RRT: Multi-Agent Motion Planning with Data-Driven Safety Certificates
by: Esmaeili, Babak, et al.
Published: (2025)

Reference-Free Iterative Learning Model Predictive Control with Neural Certificates
by: Hashimoto, Wataru, et al.
Published: (2025)

Monotone Neural Barrier Certificates
by: Jafarpour, Saber, et al.
Published: (2025)

Rapid Scalable Distributed Power Flow with Open-Source Implementation
by: Dai, Xinliang, et al.
Published: (2022)

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

Generation of Large District Heating System Models Using Open-Source Data and Tools: An Exemplary Workflow
by: Stock, Jan, et al.
Published: (2024)

Certification of Linear Inclusions for Nonlinear Systems
by: Abdelsalam, Yehia, et al.
Published: (2024)

PGLearn -- An Open-Source Learning Toolkit for Optimal Power Flow
by: Klamkin, Michael, et al.
Published: (2025)

A Unifying Complexity-Certification Framework for Branch-and-Bound Algorithms for Mixed-Integer Linear and Quadratic Programming
by: Shoja, Shamisa, et al.
Published: (2025)

Robust Adaptive Discrete-Time Control Barrier Certificate
by: Liu, Changrui, et al.
Published: (2025)

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

WiFi-CSI Sensing and Bearing Estimation in Multi-Robot Systems: An Open-Source Simulation Framework
by: Dijkstra, Brendan, et al.
Published: (2024)

From Dissipativity Property to Data-Driven GAS Certificate of Degree-One Homogeneous Networks with Unknown Topology
by: Lavaei, Abolfazl, et al.
Published: (2025)

MSACL: Multi-Step Actor-Critic Learning with Lyapunov Certificates for Exponentially Stabilizing Control
by: Zhang, Yongwei, et al.
Published: (2025)

OpenSense: An Open-World Sensing Framework for Incremental Learning and Dynamic Sensor Scheduling on Embedded Edge Devices
by: Bukhari, Abdulrahman, et al.
Published: (2023)