English(EN) Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic

新方法使用STL合成非线性系统参数

作者 PulseAugur 编辑部 · [1 个来源] · 2026-07-13 04:00

研究人员开发了一种新的方法来合成非线性系统中的参数，使其能够鲁棒地满足信号时序逻辑（STL）规范。该方法利用基于梯度的优化与基于集合的可达性验证相结合。该技术已被证明是有效且可扩展的，已成功应用于具有多达18个参数维度的系统。 AI

排序理由该集群包含一篇详细介绍新研究方法的学术论文。[lever_c_demoted from research: ic=1 ai=0.4]

AI 生成摘要 · Google Gemini · 来自 1 个来源。我们如何撰写摘要 →

报道来源 [1]

arXiv cs.LG TIER_1 English(EN) · Alex Beaudin, Hanna Krasowski, Eric Palanques-Tost, Calin Belta, Murat Arack · 2026-07-13 04:00

面向非线性系统的信号时序逻辑学习参数合成

arXiv:2607.08899v1 Announce Type: cross Abstract: Signal Temporal Logic (STL) is increasingly used to describe interpretable objectives and constraints for optimal control and learning methods, especially when no target time series data is available. In this work, we propose to s…