PulseAugur
EN
LIVE 23:43:34

New method synthesizes parameters for nonlinear systems using STL

By PulseAugur Editorial · [1 sources] ·

Researchers have developed a new method for synthesizing parameters in nonlinear systems, enabling them to robustly satisfy Signal Temporal Logic (STL) specifications. This approach utilizes gradient-based optimization combined with set-based reachability verification. The technique has been demonstrated to be effective and scalable, successfully applied to systems with up to 18 parameter dimensions. AI

RANK_REASON The cluster contains a single academic paper detailing a new research methodology. [lever_c_demoted from research: ic=1 ai=0.4]

Read on arXiv cs.LG →

AI-generated summary · Google Gemini · from 1 sources. How we write summaries →

New method synthesizes parameters for nonlinear systems using STL

COVERAGE [1]

  1. arXiv cs.LG TIER_1 English(EN) · Alex Beaudin, Hanna Krasowski, Eric Palanques-Tost, Calin Belta, Murat Arack ·

    Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic

    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…

RELATED TOPICS