论文标题
数据驱动的可及性分析使用矩阵编号
Data-Driven Reachability Analysis Using Matrix Zonotopes
论文作者
论文摘要
在本文中，我们为未知系统动力学提出了一种数据驱动的可及性分析方法。可及性分析是确保安全性能的必要工具。但是，大多数当前的可及性分析在很大程度上取决于合适的系统模型的存在，该模型通常在实践中直接可用。相反，我们从嘈杂的数据中提出了一种数据驱动的可及性分析方法。更具体地说，我们首先提供了一种算法，用于过度评估使用基质矩阵的线性时间流动系统的可触及集合。然后，我们引入了Lipschitz非线性系统的扩展。在两种情况下，我们都提供理论保证。数值示例显示了引入方法的潜力和适用性。
In this paper, we propose a data-driven reachability analysis approach for unknown system dynamics. Reachability analysis is an essential tool for guaranteeing safety properties. However, most current reachability analysis heavily relies on the existence of a suitable system model, which is often not directly available in practice. We instead propose a data-driven reachability analysis approach from noisy data. More specifically, we first provide an algorithm for over-approximating the reachable set of a linear time-invariant system using matrix zonotopes. Then we introduce an extension for Lipschitz nonlinear systems. We provide theoretical guarantees in both cases. Numerical examples show the potential and applicability of the introduced methods.
