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

• Published in: IEEE transactions on automatic control Vol. 67; no. 8; pp. 3836 - 3850
• Main Authors: Nugroho, Sebastian Adi, Taha, Ahmad F., Hoang, Vu
• Format: Journal Article
• Language: English
• Published: New York IEEE 01.08.2022; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Algorithms; Bounded jacobian; Computational modeling; Constants; Dynamical systems; Global optimization; Heuristic algorithms; interval-based global optimization; Jacobian matrices; Linear programming; Lipschitz continuous; Maximization; Nonlinear dynamical systems; Nonlinear dynamics; Nonlinear systems; Nonlinearity; Observers; one-sided Lipschitz (OSL); Optimization; Parameterization; Parameters; quadratic boundedness; quadratic inner-boundedness (QIB); Scalars; State feedback; Topology
• ISSN: 0018-9286; 1558-2523
• DOI: 10.1109/TAC.2021.3110895

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.