arXiv eess.SY 系统与控制· Jeffrey Humpherys·· 7 小时前精选AI 评分44
Riccati 稳定性无需辅助矩阵的标量刻画（Lean 形式化验证）
Riccati Stability Without Auxiliary Matrices
AI 导读
论文给出 Verriest 在 2004 年《Unsolved Problems in Mathematical Systems and Control Theory》中提出的 Riccati 稳定性问题的一种不引入附加矩阵的刻画，通过预解式族的标量不变量实现，该不变量由至多 n^2+1 个频率-方向对的协方差平衡定义。
推荐理由
论文把 Verriest 2004 年提出的公开问题化为单标量不等式条件，主结果经 Lean 形式化验证，读者可据此评估该刻画的严格程度。
来源：arXiv eess.SY 系统与控制 · arxiv.org