Quantifying the Value of Preview Information for Safety Control

• 成果类型: Article
• 署名作者: Liu, Zexiang; Ozay, Necmiye
• 署名单位: University of Michigan System; University of Michigan
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2024.3524462
• 发表日期: 2025
• 关键词: DISCRETE-TIME-SYSTEMS; invariant-sets; computation; feedback

摘要

Safety-critical systems, such as autonomous vehicles, often incorporate perception modules that can anticipate upcoming disturbances to system dynamics, expecting that such preview information can improve the performance and safety of the system in complex and uncertain environments. However, there is a lack of formal analysis of the impact of preview information on safety. In this work, we introduce a notion of safety regret, a properly defined difference between the maximal invariant set of a system with finite preview and that of a system with infinite preview, and show that for linear systems, this quantity corresponding to finite-step preview decays exponentially with the preview horizon. Furthermore, algorithms are developed to numerically evaluate the safety regret of a system for different preview horizons. Finally, we demonstrate the established theory and algorithms via multiple examples from different application domains.