33 citations · 122 across the 18 of their papers we have counts for
14 papers · 1 filter
Cluster Assignment in Multi-Agent Systems : Sparsity Bounds and Fault Tolerance
Miel Sharf, Daniel Zelazo
We study cluster assignment in homogeneous diffusive multi-agent networks. Given the number of clusters and agents within each cluster, we design the network graph ensuring the sys…
Contract Composition for Dynamical Control Systems: Definition and Verification using Linear Programming
Miel Sharf, Bart Besselink, Karl Henrik Johansson
Designing large-scale control systems to satisfy complex specifications is hard in practice, as most formal methods are limited to systems of modest size. Contract theory has been…
Cluster Assignment in Multi-Agent Systems
Miel Sharf, Daniel Zelazo
We study cluster assignment in multi-agent networks. We consider homogeneous diffusive networks, and focus on design of the graph that ensures the system will converge to a prescri…
Verifying Contracts for Perturbed Control Systems using Linear Programming
Miel Sharf, Bart Besselink, Karl Henrik Johansson
Verifying specifications for large-scale control systems is of utmost importance, but can be hard in practice as most formal verification methods can not handle high-dimensional dy…
Verifying Compositional Refinement of Assume/Guarantee Contracts using Linear Programming
Miel Sharf, Bart Besselink, Karl Henrik Johansson
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. Recentl…
Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools
Miel Sharf, Bart Besselink, Adam Molin +2
Modern engineering systems include many components of different types and functions. Verifying that these systems satisfy given specifications can be an arduous task, as most forma…
On the Sample Complexity of Data-Driven Inference of the -gain
Miel Sharf
Lately, data-driven control has become a widespread area of research. A few recent big-data based approaches for data-driven control of nonlinear systems try to use classical input…
A Characterization of All Passivizing Input-Output Transformations of a Passive-Short System
Miel Sharf, Daniel Zelazo
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. In practice, ma…
Monitoring Link Faults in Nonlinear Diffusively-coupled Networks
Miel Sharf, Daniel Zelazo
Fault detection and isolation is an area of engineering dealing with designing on-line protocols for systems that allow one to identify the existence of faults, pinpoint their exac…
Model-Free Practical Cooperative Control for Diffusively Coupled Systems
Miel Sharf, Anne Koch, Daniel Zelazo +1
In this paper, we develop a data-based controller design framework for diffusively coupled systems with guaranteed convergence to an -neighborhood of the desired formation. The…
Network Identification for Diffusively-Coupled Systems with Minimal Time Complexity
Miel Sharf, Daniel Zelazo
The theory of network identification, namely identifying the (weighted) interaction topology among a known number of agents, has been widely developed for linear agents. However, t…
Network Feedback Passivation of Passivity-Short Multi-Agent Systems
Miel Sharf, Daniel Zelazo
In this paper, we propose a network-optimization framework for the analysis of multi-agent systems with passive-short agents. We consider the known connection between diffusively-c…
Symmetry-Induced Clustering in Multi-Agent Systems using Network Optimization and Passivity
Miel Sharf, Daniel Zelazo
This work studies the effects of a weak notion of symmetry on diffusively-coupled multi-agent systems. We focus on networks comprised of agents and controllers which are maximally…
A Geometric Method for Passivation and Cooperative Control of Equilibrium-Independent Passivity-Short Systems
Miel Sharf, Anoop Jain, Daniel Zelazo
Equilibrium-independent passive-short (EIPS) systems are a class of systems that satisfy a passivity-like dissipation inequality with respect to any forced equilibria with non-posi…