Nonlinear Dynamic Systems Parameterization Using Interval-Based Global Optimization: Computing Lipschitz Constants and Beyond

• 成果类型: Article
• 署名作者: Nugroho, Sebastian Adi; Taha, Ahmad F.; Hoang, Vu
• 署名单位: University of Michigan System; University of Michigan; Vanderbilt University; University of Texas System; University of Texas at San Antonio
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2021.3110895
• 发表日期: 2022
• 页码: 3836-3850
• 关键词: Jacobian matrices; observers; optimization; nonlinear dynamical systems; linear programming; Heuristic algorithms; computational modeling; Bounded jacobian; interval-based global optimization; Lipschitz continuous; Nonlinear systems; one-sided Lipschitz (OSL); quadratic boundedness; quadratic inner-boundedness (QIB)

摘要

Numerous state-feedback and observer designs for nonlinear dynamic systems (NDS) have been developed in the past three decades. These designs assume that NDS nonlinearities satisfy one of the following function set classifications: bounded Jacobian, Lipschitz continuity, one-sided Lipschitz, quadratic inner-boundedness, and quadratic boundedness. These function sets are characterized by constant scalars or matrices bounding the NDS' nonlinearities. These constants depend on the NDS' operating region, topology, and parameters and are utilized to synthesize observer/controller gains. Unfortunately, there is a near-complete absence of algorithms to compute such bounding constants. In this article, we develop analytical and computational methods to compute such constants. First, for every function set classification, we derive analytical expressions for these bounding constants through global maximization formulations. Second, we utilize a derivative-free interval-based global maximization algorithm based on the branch-and-bound framework to numerically obtain the bounding constants. Third, we showcase the effectiveness of our approaches to compute the corresponding parameters on some NDS such as highway traffic networks and synchronous generator models.