约束符号回归用于 Lyapunov 函数发现

Ilias Mitrai 与 Wentao Tang 在 Computers & Chemical Engineering 第 217 卷提出一种约束符号回归方法，用于自动发现 Lyapunov 函数，来源标注发表日期为 2027 年 2 月。当前材料仅含题录信息，未提供摘要正文、方法细节与实验结论。