Performance certification of interconnected nonlinear systems using ADMM

摘要

We present a compositional performance certification method for interconnected nonlinear systems, using dissipativity properties of the subsystems along with the interconnection structure. To select the most relevant dissipativity properties, we formulate a large-scale optimization problem, and solve it with the alternating direction method of multipliers (ADMM). The dissipativity properties are allowed to depend on an unknown equilibrium, enabling us to certify performance without explicit knowledge of the equilibrium for the interconnected system. The effectiveness of the algorithm is demonstrated on two examples, including a model of vehicle platoons.