Compositional stability analysis based on dual decomposition
Ufuk Topcu, Andrew K Packard, Richard M Murray
Conference on Decision and Control (CDC), 2009 (Submitted)
We propose a compositional stability analysis methodology for verifying properties of systems that are interconnections of multiple subsystems. The proposed method assembles stability certificates for the interconnected system based on the certificates for the input-output properties of the subsystems. The hierarchy in the analysis is achieved by utilizing dual decomposition ideas in optimization. Decoupled subproblems establish subsystem level input-output properties whereas the ``master problem imposes and updates the conditions on the subproblems toward ensuring interconnected system level stability properties. Both global stabilityanalysis and region-of-attraction analysis are discussed.
- Preprint: http://www.cds.caltech.edu/~murray/preprints/tpm09-cdc_s.pdf