Compositional Performance Certification of Interconnected Systems using ADMM
Chris Meissen, Laurent Lessard, Murat Arcak, Andrew Packard
TL;DR
This paper introduces a compositional method for certifying the performance of interconnected systems by leveraging subsystem dissipativity and ADMM, enabling scalable analysis of large systems.
Contribution
It presents a novel approach combining dissipativity properties with ADMM to efficiently certify performance in interconnected systems.
Findings
Effective decomposition of large-scale problems
Successful demonstration on multiple examples
Enhanced scalability in performance certification
Abstract
A compositional performance certification method is presented for interconnected systems using subsystem dissipativity properties and the interconnection structure. A large-scale optimization problem is formulated to search for the most relevant dissipativity properties. The alternating direction method of multipliers (ADMM) is employed to decompose and solve this problem, and is demonstrated on several examples.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.