Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications

• 成果类型: Article
• 署名作者: Li, Yinan; Liu, Jun
• 署名单位: University of Waterloo
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2020.2987711
• 发表日期: 2021
• 页码: 1199-1206
• 关键词: robustness; Nonlinear systems; Aerospace electronics; control systems; stability analysis; Benchmark testing; Voltage control; Formal verification and synthesis; interval analysis; nonlinear control design; reachability analysis; Robustness

摘要

This article proposes a finitely terminating algorithm to solve reach-and-stay control problems for nonlinear systems. The algorithm is guaranteed to return a control strategy if the specification is robustly realizable. Such a feature is desirable as the commonly used abstraction-based methods are sound but not complete for systems that are not incrementally stable. Fundamental to the proposed method is a fixed-point characterization of the winning set of the system with respect to a given specification, i.e., the initial states that can be controlled to satisfy the specification. The use of an adaptive partitioning scheme not only guarantees the approximation precision of the winning set but also reduces computational time. The effectiveness and efficiency are illustrated by several benchmarking examples.