2 citations · 4 across the 6 of their papers we have counts for
8 papers
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…
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…