Robot Teams Sharing a Load: Compositional Decay Certificates
Questo articolo presenta un framework composizionale per certificare e progettare i tassi di decadimento dell'errore di velocità in team di robot che trasportano carichi condivisi, dimostrando che per architetture a albero di giunzione, i certificati locali possono raggiungere le prestazioni centralizzate abilitando al contempo una sintesi dei guadagni decompressa ed efficiente che riduce significativamente i requisiti di smorzamento rispetto agli approcci centralizzati.