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