arXiv ID:
2603.03082
arXiv 提交日期: 2026-03-03
离散时间系统的安全鲁棒吸引域:基于集合的表征与可验证的神经网络估计 / Safe and Robust Domains of Attraction for Discrete-Time Systems: A Set-Based Characterization and Certifiable Neural Network Estimation
1️⃣ 一句话总结
这篇论文提出了一种新方法,通过定义在紧集上的价值函数来精确估计非线性不确定系统的安全鲁棒吸引域,并利用嵌入贝尔曼方程的神经网络进行学习,最终通过形式化验证工具获得可验证的估计结果。