33 citations · 122 across the 18 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
eess.SY2022
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…
eess.SY2022
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…
eess.SY2022★ 1 cited
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…