Search Results for author:
Found 8 papers, 0 papers with code
Cluster Assignment in Multi-Agent Systems : Sparsity Bounds and Fault Tolerance
We study cluster assignment in homogeneous diffusive multi-agent networks.
Contract Composition for Dynamical Control Systems: Definition and Verification using Linear Programming
Contract theory has been proposed as a modular alternative to formal methods in control, in which specifications are defined by assumptions on the input to a component and guarantees on its output.
Cluster Assignment in Multi-Agent Systems
We consider homogeneous diffusive networks, and focus on design of the graph that ensures the system will converge to a prescribed cluster configuration, i. e., specifying the number of clusters and agents within each cluster.
Verifying Contracts for Perturbed Control Systems using Linear Programming
We present a comparison-based framework, verifying that a perturbed system satisfies a contract by checking that the corresponding unperturbed system satisfies a robustified (and $\epsilon$-approximated) contract.
Verifying Compositional Refinement of Assume/Guarantee Contracts using Linear Programming
Verifying specifications for large-scale modern engineering systems can be a time-consuming task, as most formal verification methods are limited to systems of modest size.
Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools
Modern engineering systems include many components of different types and functions.
A Characterization of All Passivizing Input-Output Transformations of a Passive-Short System
Passivity theory is one of the cornerstones of control theory, as it allows one to prove stability of a large-scale system while treating each component separately.
Model-Free Practical Cooperative Control for Diffusively Coupled Systems
In this paper, we develop a data-based controller design framework for diffusively coupled systems with guaranteed convergence to an $\epsilon$-neighborhood of the desired formation.
