Compositional stability analysis based on dual decomposition

— 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 stability analysis and region-of-attraction analysis are discussed.

• Type: Conference
• Year: 2009
• Where: CDC
• Authors: Ufuk Topcu, Andrew K. Packard, Richard M. Murray
• Keywords: CDC 2009, Control Systems, Input-output Properties, Stability Analysis, Stability Analysis Methodology