arXiv:2504.02607v1 安全保证类型：交叉 摘要：基于学习的自主系统实用部署将极大地受益于可以从数据中灵活获取安全保证（以证书函数的形式）的工具。虽然这类证书函数的几何性质已被很好地理解，但使用机器学习技术合成它们仍然是一项挑战。为解决这一问题，我们提出了一种差分同胚函数学习框架，在其中将所需输出的先验结构知识编码在简单代理函数的几何结构中，并随后通过保留拓扑结构的状态空间变换进行增强。从而，我们实现了一个间接函数近似框架，可以保证保留在目标假设空间内。为此，我们介绍了一种基于RBF网络构建差分同胚映射的新方法，这种方法便于对数据进行精确的局部变换。最后，我们通过从实际数据中学习差分同胚李雅普诺夫函数来展示我们的方法，并将我们的方法应用于不同的吸引子系统。