Abstract:We introduce a compositional data-driven methodology for designing fully-decentralized safety controllers applicable to large-scale interconnected networks, encompassing subsystems with unknown mathematical models. Our compositional scheme leverages the interconnection topology and breaks down the network analysis into the examination of distinct subsystems. This is accompanied by utilizing a concept of control storage certificates (CSCs) to capture joint dissipativity-type properties among subsystems. These CSCs are instrumental in a compositional derivation of a control barrier certificate (CBC) specialized for the interconnected network, thereby ensuring its safety. In our data-driven scheme, we gather solely one input-output trajectory from each unknown subsystem within a specified time frame. By fulfilling a specific rank condition, this process facilitates the construction of a CSC for each subsystem. Following this, by adhering to compositional dissipativity reasoning, we compose CSCs derived from data and build a CBC for the unknown network, ensuring its safety over an infinite time horizon, while providing correctness guarantees. We demonstrate that our compositional data-driven approach significantly enhances the design of a CBC and its safety controller across the interconnected network. This advancement is achieved by reducing the computational complexity from a polynomial growth in relation to network dimension, when using sum-of-squares (SOS) optimization, to a linear scale based on the number of subsystems. We additionally demonstrate that the dissipativity-type compositionality condition can benefit from the structure of interconnection topology and potentially be fulfilled regardless of the number of subsystems. We apply our data-driven findings to a variety of benchmarks, involving physical networks with unknown models and diverse interconnection topologies.

Behavioural Approach to Distributed Control of Interconnected Systems

Distributed Consensus of Multi-Agent Systems with Nonlinear Dynamics Via Adaptive Intermittent Control

Decentralized Adaptive Iterative Learning Control for Interconnected Systems with Uncertainties

Observer-Based Asynchronous Communication and Adaptive Control Protocols with Intermittent Updating and Interaction.

Distributed Synthesis of Local Controllers for Networked Systems with Arbitrary Interconnection Topologies

Observer-Based Dynamic Event-Triggered Adaptive Control of Distributed Networked Systems with Application to Ground Vehicles

Modeling and Analysis of Networked Discrete Event Systems with Multiple Control Channels

Fully Distributed Containment Control for Multiple Euler-Lagrange Systems over Directed Graphs: an Event-Triggered Approach

On Distributed Model Predictive Control for Systems with Decoupled Dynamics

From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks

Parallel Control of Distributed Parameter Systems.

Distributed Estimation and Control for Discrete Time-Varying Interconnected Systems

Fully Distributed Event-Driven Formation Control Over Directed Information Topologies

Distributed Containment Control For Double-Integrator Dynamics: Algorithms And Experiments

Distributed Cooperative Control from Position Motion to Interaction Synchronization

Distributed Containment Control for Multiple Autonomous Vehicles with Double-Integrator Dynamics: Algorithms and Experiments.

An Approach to Distributed Systems from Orderings and Representability

Modeling and Analysis of Networked Supervisory Control Systems with Multiple Control Channels.

Dynamical Modeling and Distributed Control of Connected and Automated Vehicles: Challenges and Opportunities

Stabilization of Multi-Agent Systems and Complex Networks - A Unified Model Using Distributed Control

A New Design Scheme of Distributed Controller for Heterogeneous Multi-Agent Systems