Synthesis of Input-to-State Attractivity Controllers for Transition Systems With Disturbances

• 成果类型: Article
• 署名作者: Apaza-Perez, W. Alejandro; Girard, Antoine
• 署名单位: Universite Paris Saclay; Centre National de la Recherche Scientifique (CNRS)
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2024.3385068
• 发表日期: 2024
• 页码: 6365-6372
• 关键词: trajectory; Heuristic algorithms; safety; dynamical systems; dynamic programming; Cruise control; Europe; Input-to-state attractivity (ISA); least-violating controllers; transition systems

摘要

In this article, we introduce the notion of input-to-state attractivity (ISA) controllers for a class of finite transition systems with disturbances. The performances of an ISA controller are characterized by a gain function that quantifies the deviation of closed-loop trajectories from the target set as a function of the amplitude of past disturbances on a bounded time window. We prove the existence of controllers that are gain-optimal (GO) in the sense that their gain function is minimal (with respect to a given order on the set of gain functions) over all possible ISA controllers. Then, we consider the problem of synthesizing ISA controllers. We present an approach based on successive refinements of controllers: starting from a controller synthesized against worst-case disturbances, the controller is iteratively refined in order to improve the closed-loop behavior under lower disturbances. We prove that our method makes it possible to synthesize an ISA controller that is shown to be a GO-ISA controller (for the colexicographic order) when a condition, which can be easily checked a posteriori, is satisfied. Finally, an application of adaptive cruise control demonstrates the effectiveness of our approach.