Generalized Mean Robustness for Signal Temporal Logic

• 成果类型: Article
• 署名作者: Mehdipour, Noushin; Vasile, Cristian-Ioan; Belta, Calin
• 署名单位: Boston University; Lehigh University; University System of Maryland; University of Maryland College Park
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2024.3482104
• 发表日期: 2025
• 页码: 1949-1956
• 关键词: robustness; logic; vectors; semantics; Tuning; automobiles; trajectory; noise; encoding; COSTS; Control synthesis; generalized mean; power mean; Robustness; signal temporal logics (STL)

摘要

Robustness functions provide quantitative scores to measure the satisfaction of temporal logic formulas. We introduce a general class of parameterized robustness functions for signal temporal logic (STL), and demonstrate how it can be used for control problems involving STL specifications. We employ power means and generalized functional means to capture robust satisfaction over space and time. We show that our general definition encompasses many of the STL robustness functions in the literature. Most importantly, we show how that our notion of robustness addresses the two main limitations of the the traditional robustness (masking and locality), which currently limit using robustness-based approaches for control. The proposed robustness function parameters affect the conservativeness of the score, and can be chosen based on desired performance. We show how the proposed robustness can be used for control.