自编码器潜空间验证未知动力系统论文更新

罗伯特·里德等研究者发表 arXiv:2512.13593 论文，提出一种通过凸自编码器和核方法在潜空间学习动态，并对未知动力系统进行形式化验证的方法。该方法构建有限抽象以保证包含原系统真实行为，验证结果可映射回原系统，解决了高维状态空间离散化导致可扩展性的挑战。该框架在多个系统（包含由神经网络控制的 26 维系统）上展示了显著的可扩展性提升。目前该论文在 arXiv 机器学习（cs.lg）领域完成了内容更新。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。