Robot Teams Sharing a Load: Compositional Decay Certificates
Este artículo presenta un marco composicional para certificar y diseñar tasas de decaimiento del error de velocidad en equipos de robots que transportan cargas compartidas, demostrando que para arquitecturas de árbol de unión, los certificados locales pueden lograr un rendimiento centralizado al tiempo que permiten una síntesis de ganancia descompuesta y eficiente que reduce significativamente los requisitos de amortiguamiento en comparación con los enfoques centralizados.