]> 2026-07-01T13:30:11+00:00 Compositional stability analysis based on dual decomposition 0 en 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. Ufuk Topcu, Andrew K Packard, Richard M Murray 2009a Conference on Decision and Control (CDC), 2009 (Submitted) tpm09-cdc Preprint 2016-05-15T06:16:42Z 2457523.7615972 Compositional stability analysis based on dual decomposition Title 102 en Title