Zobrazeno 1 - 10
of 57
pro vyhledávání: '"Sharf, Miel"'
Autor:
Sharf, Miel, Zelazo, Daniel
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 system will converge to the prescribed cluster configuration. Using recen
Externí odkaz:
http://arxiv.org/abs/2211.01316
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 proposed as a modular alternative to formal methods in control, in whi
Externí odkaz:
http://arxiv.org/abs/2211.01298
Autor:
Sharf, Miel, Zelazo, Daniel
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 prescribed cluster configuration, i.e., specifying the number of clusters and
Externí odkaz:
http://arxiv.org/abs/2203.06642
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 dynamics. Contract theory has been proposed as a modular alternative to
Externí odkaz:
http://arxiv.org/abs/2111.01259
Publikováno v:
In Automatica June 2024 164
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. Recently, contract-based design and verification has been proposed as a modul
Externí odkaz:
http://arxiv.org/abs/2103.13743
This work considers the economic dispatch problem for a single micro-gas turbine, governed by a discrete state-space model, under combined heat and power (CHP) operation and coupled with a utility. If the exact power and heat demands are given, exist
Externí odkaz:
http://arxiv.org/abs/2103.00185
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 formal verification methods are limited to systems of moderate size. Recent
Externí odkaz:
http://arxiv.org/abs/2012.12657
Autor:
Sharf, Miel
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-output techniques to design controllers for systems for which only a
Externí odkaz:
http://arxiv.org/abs/2003.00238