🐦 Політ дронів у формації: алгоритми консенсусу

Консенсус зі зміщенням формації розширює базовий протокол, надаючи кожному агенту i фіксоване цільове зміщення o_i всередині бажаної форми та запускаючи консенсус на скоригованому стані z_i = x_i − o_i замість сирої позиції x_i. Коли z_i кожного дрона сходиться до однієї точки, фактична позиція x_i кожного дрона сходиться до цієї точки плюс власне зміщення — тож увесь рій фіксується в жорсткій формації замість колапсу в одну точку. Це стандартне розширення, яке використовується в реальній літературі з керування формаціями (наприклад, Ren & Beard, Olfati-Saber, Fax & Murray).

Уникнення зіткнень застосовується незалежно від графа комунікації: будь-які два дрони, що опиняються в межах мінімальної відстані розділення, відчувають короткодіючу відштовхувальну силу, яка розводить їх, незалежно від того, чи обмінюються вони наразі даними консенсусу. Це відображає, як реальні мікро-БПЛА поєднують шар координації з низькою пропускною здатністю (для формації) зі швидким бортовим датчиком близькості (для безпеки), оскільки ризик зіткнення не може чекати завершення раунду консенсусу.

Хореографовані світлові шоу дронів використовують GPS-синхронізоване керування формацією, щоб проводити сотні дронів через точні візерунки. Супутникові угруповання (наприклад, кластери спостереження Землі, що літають у формації) використовують консенсусоподібні алгоритми для підтримки відносного інтервалу без наземного контролера в контурі для кожного маневру. Розподілені сенсорні мережі використовують ту саму математику, щоб дійти згоди щодо спільної оцінки — наприклад, середньої температури чи синхронізованого годинника — використовуючи лише зв'язок із найближчими сусідами.

Доказ збіжності для лінійних протоколів консенсусу спирається на те, що лапласіан графа комунікації має рівно одне нульове власне значення, що вірно тоді й лише тоді, коли граф є зв'язним. Якщо граф не зв'язний, лапласіан має по одному нульовому власному значенню на кожну компоненту, і кожна компонента сходиться до власного окремого значення. Це жорстка математична межа, а не інженерна незручність — жодна кількість додаткового коефіцієнта чи кроків оновлення не подолає її, якщо базовий граф ніколи не з'єднає частини.

У сценарній анімації кожному об'єкту зазвичай повідомляють точні цільові координати, і він плавно рухається до них напряму, без жодного поняття про сусідів чи зв'язок. Тут жоден дрон ніколи не знає повної цільової форми чи глобально «правильної» позиції — він лише вимірює відстані до сусідніх дронів і усереднює скоригований локальний стан. Видима збіжність до формації та видимий розпад при роз'єднанні графа — це результати роботи цього локального правила щокадру, а не заздалегідь запечені траєкторії.

Сучасні дослідження вивчають стійкість до затриманих чи переривчастих каналів зв'язку, консенсус за наявності ворожих чи несправних агентів (візантійськостійкий консенсус), а також розширення на основі навчання, де ваги сусідів навчаються, а не фіксовані. Великомасштабні рої дронів (тисячі агентів) також підштовхують до ієрархічного та подієво-керованого консенсусу, коли дрони транслюють оновлення лише тоді, коли їхній стан змінився достатньо, щоб мати значення, що різко скорочує пропускну здатність зв'язку, потрібну для утримання зв'язності величезного рою.