Compositional performance certification of interconnected systems using ADMM

DOI10.1016/J.AUTOMATICA.2015.07.027MaRDI QIDQ900650zbMATH OpenOpenAlexFDO

Authors Chris Meissen, Laurent Lessard, Andrew K. Packard, Murat Arcak

Publication date 22 December 2015

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1410.2006

zbMATH Keywords

interconnected systemscompositional analysisalternating direction method of multipliers (ADMM)dissipative dynamical systems

Mathematics Subject Classification ID

Large-scale systems (93A15) Stability of control systems (93D99)

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.

Recommendations

• Composability and controllability of structural linear time-invariant systems: distributed verification
• Networks of dissipative systems. Compositional certification of stability, performance, and safety
• Symmetry Reduction for Performance Certification of Interconnected Systems
• Distributed modifier-adaptation schemes for the real-time optimisation of uncertain interconnected systems
• scientific article; zbMATH DE number 4068724
• Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems
• Game of constraints for evaluation of guaranteed composite system performance
• Compositional Construction of Approximate Abstractions of Interconnected Control Systems
• A performance analysis for continuous-time multilinear dynamic systems
• Hierarchical Robust Performance Analysis of Uncertain Large Scale Systems

Cites work

• A Dissipativity Approach to Safety Verification for Interconnected Systems
• A Unifying Passivity Framework for Network Flow Control
• An ISS small gain theorem for general networks
• Compositional performance certification of interconnected systems using ADMM
• Dissipative dynamical systems. I: General theory
• Distributed optimization and statistical learning via the alternating direction method of multipliers
• Duality and network theory in passivity-based cooperative control
• Equilibrium-independent passivity: a new definition and numerical certification
• Input-output analysis of large-scale interconnected systems. Decomposition, well-posedness and stability
• Nonlinear Programming
• Passivity as a Design Tool for Group Coordination
• Robust control of dynamically interacting systems
• Stability criteria for large-scale systems
• Survey of decentralized control methods for large scale systems
• System analysis via integral quadratic constraints

Cited in

(3)

• Networks of dissipative systems. Compositional certification of stability, performance, and safety
• Compositional performance certification of interconnected systems using ADMM
• Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications

Describes a project that uses

Uses Software

• CVX
• SOSOPT

This page was built for publication: Compositional performance certification of interconnected systems using ADMM

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q900650)