首页/论文/2008.03231

arXiv 2008.032312020-08eess.SYcs.SY

Dissipativity verification with guarantees for polynomial systems from noisy input-state data

Tim Martin, Frank Allgöwer

英文摘要：

In this paper, we investigate the verification of dissipativity properties for polynomial systems without an explicitly identified model but directly from noise-corrupted measurements. Contrary to most data-driven approaches for nonlinear systems, we determine dissipativity properties over all finite time horizons using noisy input-state data. To this end, we propose two noise characterizations to deduce two data-based set-membership representations of the ground-truth system. Each representation then serves as a framework to derive computationally tractable conditions to verify dissipativity properties with rigorous guarantees from noise-corrupted data using sum of squares (SOS) optimization.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

On the one-shot data-driven verification of dissipativity of LTI systems with general quadratic supply rate function

Based on a one-shot input-output set of data from an LTI system, we present a verification method of dissipativity property based on a general quadratic supply-rate function. We show the applicability of our approach for identifying suitable general quadratic supply-rate function in two numerical examples, one regarding the estimation of $\mathcal{L}_2$-gains and one where we verify the dissipativity of a mass-spring-damper system.

2021-09-02cs.SYeess.SY

Provably robust verification of dissipativity properties from data

Dissipativity properties have proven to be very valuable for systems analysis and controller design. With the rising amount of available data, there has therefore been an increasing interest in determining dissipativity properties from (measured) trajectories directly, while an explicit model of the system remains undisclosed. Most existing approaches for data-driven dissipativity, however, guarantee the dissipativity condition only over a finite time horizon and provide weak or no guarantees on robustness in the presence of noise. In this paper, we present a framework for verifying dissipativ…

2020-10-02cs.SYeess.SY

Verifying dissipativity properties from noise-corrupted input-state data

There exists a vast amount of literature how dissipativity properties can be exploited to design controllers for stability and performance guarantees for the closed loop. With the rising availability of data, there has therefore been an increasing interest in determining dissipativity properties from data as a means for data-driven systems analysis and control with rigorous guarantees. Most existing approaches, however, consider dissipativity properties that hold only over a finite horizon and mostly only qualitative statements can be made in the presence of noisy data. In this work, we presen…

2020-04-15cs.SYeess.SY

Verification of Dissipativity and Evaluation of Storage Function in Economic Nonlinear MPC using Q-Learning

In the Economic Nonlinear Model Predictive (ENMPC) context, closed-loop stability relates to the existence of a storage function satisfying a dissipation inequality. Finding the storage function is in general -- for nonlinear dynamics and cost -- challenging, and has attracted attentions recently. Q-Learning is a well-known Reinforcement Learning (RL) techniques that attempts to capture action-value functions based on the state-input transitions and stage cost of the system. In this paper, we present the use of the Q-Learning approach to obtain the storage function and verify the dissipativity…

2021-10-25cs.SYeess.SYmath.OC

基于含噪输入输出数据的耗散性与$H_2$性能的动态输出反馈控制器综合

Dynamic Output-Feedback Controller Synthesis for Dissipativity and $H_2$ Performance from Noisy Input-Output Data

Faculty of Mechanical Engineering and Naval Architecture, University of Zagreb（机械与船舶工程学院，萨格勒布大学）；Electrical Engineering Faculty, Eindhoven University of Technology（电气工程学院，埃因霍温理工大学）

针对离散时间线性时不变系统，提出利用含噪输入输出数据直接综合动态输出反馈控制器的方法，以实现给定二次供给率下的耗散性或$H_2$性能，方法基于线性矩阵不等式且无保守性。

2026-07-21cs.SYeess.SYmath.OC

学习具有耗散性保证的神经Koopman算子

Learning Neural Koopman Operators with Dissipativity Guarantees

针对已知耗散的未知非线性系统，提出两阶段方法学习带耗散性保证的神经Koopman算子，先拟合无约束模型再微扰参数满足严格耗散，建立理论保证并通过Duffing振子仿真验证。

2025-09-08cs.SYeess.SY

更多相关论文收起更多论文

线性参数变化系统的数据驱动耗散性分析

Data-driven Dissipativity Analysis of Linear Parameter-Varying Systems

针对线性参数变化系统，提出基于单组输入-调度-输出数据、通过带线性矩阵不等式约束的半定规划实现(Q,S,R)型耗散性直接数据驱动验证的方法，含多种高效实现方案，仿真验证了其有效性与性能权衡。

2024-07-08cs.SYeess.SY

针对噪声输入-状态数据的 dissipativity 和 $H_2$ 性能动态输出反馈控制器综合

Dynamic Output-Feedback Controller Synthesis for Dissipativity and $H_2$ Performance from Noisy Input-State Data

Faculty of Mechanical Engineering and Naval Architecture, University of Zagreb（萨格勒布大学机械与船舶工程学院）；Electrical Engineering Faculty, Eindhoven University of Technology（埃因霍温理工大学电气工程学院）

本文针对噪声输入-状态数据，提出动态输出反馈控制器综合方法，实现系统 dissipativity 和 $H_2$ 性能，通过线性矩阵不等式参数化标量变量，非保守地完成控制器设计。

2026-07-21cs.SYeess.SYmath.OC

Data-driven dissipative verification of LTI systems: multiple shots of data, QDF supply-rate and application to a planar manipulator

We present a data-driven dissipative verification method for LTI systems based on using multiple input-output data. We assume that the supply-rate functions have a quadratic difference form corresponding to the general dissipativity notion known in the behavioural framework. We validate our approach in a practical example using a two-degree-of-freedom planar manipulator from Quanser, with which we demonstrate the applicability of multiple datasets over one-shot of data recently proposed in the literature.

2023-01-04cs.SYeess.SY

基于多项式逼近的非线性系统数据驱动系统分析

Data-driven system analysis of nonlinear systems using polynomial approximation

针对非线性系统数据驱动控制现有方法的缺陷，提出基于带噪样本的多项式表示方法，通过平方和松弛实现带严格保证的耗散性验证，扩展后保守性更低，经数值与实验验证有效。

2023-10-04cs.SYeess.SY

从数据到控制：面向大规模互联网络的形式化组合框架

From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks

针对大规模模型未知互联网络的安全控制问题，提出基于含噪声数据的组合式方法，利用控制存储证书组合推导控制障碍证书，将计算复杂度从多项式降为线性，实现全去中心化安全控制并提供正确性保证。

2025-06-17cs.SYeess.SY

数据驱动与模型驱动验证：一种贝叶斯识别方法

Data-driven and Model-based Verification: a Bayesian Identification Approach

Eindhoven University of Technology（埃因霍温理工大学）；University of Oxford（牛津大学）

本文提出一种结合可达性分析和贝叶斯推断的数据驱动与模型驱动形式验证方法，用于部分未知动态系统。通过案例研究探讨了部分未知线性时不变系统的有界和无界时间安全性。

2015-09-10cs.SYeess.SY

含噪线性系统中数据一致性与预测的插值条件

Interpolation Conditions for Data Consistency and Prediction in Noisy Linear Systems

ICTEAM Institute, UCLouvain（ICTEAM研究所，乌斯特大学）；Engineering and Technology Institute Groningen, University of Groningen（格罗宁根工程与技术研究所，格罗宁根大学）

针对含未知有界范数系统矩阵、有界过程噪声的线性系统，提出基于插值的纯数据驱动框架，刻画符合测量与先验的轨迹以支撑一致性验证、预测及控制设计。

2025-11-14cs.LGcs.SYeess.SY

How To Catch A Lion In The Desert -- On The Solution Of The Coverage Directed Generation (CDG) Problem

The testing and verification of a complex hardware or software system, such as modern integrated circuits (ICs) found in everything from smartphones to servers, can be a difficult process. One of the most difficult and time-consuming tasks a verification team faces is reaching coverage closure, or hitting all events in the coverage space. Coverage-directed-generation (CDG), or the automatic generation of tests that can hit hard-to-hit coverage events, and thus provide coverage closure, holds the potential to save verification teams significant simulation resources and time. In this paper, we p…

2019-10-01cs.SYeess.SYmath.OC

一种反馈镇定的新方法及其在多项式系统数据驱动控制中的应用

A New Approach for Feedback Stabilization and its Application for Data-Driven Control of Polynomial Systems

Federal University of Ceará（塞阿拉联邦大学）；University of Oxford（牛津大学）

该研究提出基于SOS优化的非线性系统状态反馈渐近镇定新条件，构建适用于含噪多项式系统数据驱动控制的迭代流程，克服传统SOS方法局限，经数值示例验证策略有效。

2026-08-12cs.SYeess.SYmath.OC

Data-Driven Verification under Signal Temporal Logic Constraints

Ludwig Maximilian University of Munich（慕尼黑大学）；Newcastle University（纽卡斯尔大学）；University of Colorado Boulder（科罗拉多大学博尔德分校）

We consider systems under uncertainty whose dynamics are partially unknown. Our aim is to study satisfaction of temporal logic properties by trajectories of such systems. We express these properties as signal temporal logic formulas and check if the probability of satisfying the property is at least a given threshold. Since the dynamics are parameterized and partially unknown, we collect data from the system and employ Bayesian inference techniques to associate a confidence value to the satisfaction of the property. The main novelty of our approach is to combine both data-driven and model-base…

2020-05-08cs.LGcs.SYeess.SY

使用障碍证书和矩阵 zonotopes 的数据驱动安全验证

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes

Technical University of Munich（慕尼黑工业大学）

针对信息物理系统因模型不可靠或难以获取导致的安全验证难题，提出基于矩阵 zonotopes 和障碍证书的数据驱动框架，通过构建包含真实模型的模型集并集成障碍证书，实现无需显式模型的严格安全验证，数值实验验证了有效性。

2025-04-14cs.FLcs.LGcs.SY