Compositional performance certification of interconnected systems using ADMM
From MaRDI portal
Publication:900650
DOI10.1016/J.AUTOMATICA.2015.07.027zbMATH Open1327.93161arXiv1410.2006OpenAlexW2964340871MaRDI QIDQ900650FDOQ900650
Authors: Chris Meissen, Laurent Lessard, Andrew K. Packard, Murat Arcak 
Publication date: 22 December 2015
Published in: Automatica (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/1410.2006
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
interconnected systemscompositional analysisalternating direction method of multipliers (ADMM)dissipative dynamical systems
Cites Work
- Distributed optimization and statistical learning via the alternating direction method of multipliers
- Dissipative dynamical systems. I: General theory
- An ISS small gain theorem for general networks
- System analysis via integral quadratic constraints
- Nonlinear Programming
- A Unifying Passivity Framework for Network Flow Control
- Passivity as a Design Tool for Group Coordination
- Survey of decentralized control methods for large scale systems
- Input-output analysis of large-scale interconnected systems. Decomposition, well-posedness and stability
- Stability criteria for large-scale systems
- Duality and network theory in passivity-based cooperative control
- Equilibrium-independent passivity: a new definition and numerical certification
- Robust control of dynamically interacting systems
- A Dissipativity Approach to Safety Verification for Interconnected Systems
- Compositional performance certification of interconnected systems using ADMM
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
Uses Software
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)
