Назад до огляду →
Модуль 03 / 04
Спостерігати → валідувати → оцінювати → планувати → перевіряти → виконувати.
Каталог скінченний, оскільки кожна конфігурація має бути верифікована до розгортання. Навчання або досвід під час виконання можуть змінювати переваги й імовірності переходів, але не можуть створити неверифіковану конфігурацію…
Спостерігати → валідувати → оцінювати → планувати → перевіряти → виконувати.Розгорнути розділ
Супервізорна послідовність
Спостерігати → валідувати → оцінювати → планувати → перевіряти → виконувати.
01ObserveОтримати динамічний стан і дані про ресурси.
02ВалідуватиОновити фізичну справність та епістемічну валідність.
03ОцінитиОцінити спроможність місії для верифікованих конфігурацій.
04ПлануватиОбрати траєкторію в графі конфігурацій, а не лише наступний вузол.
05ПеревіритиПеревірити допустимість за ресурсами/функціями, стійкість і час.
06ВиконатиПеремкнутися, верифікувати та залишатися в конфігурації протягом допустимого інтервалу перебування.
Гарантії належать графу, а не оптимізатору.Розгорнути розділ
Граф конфігурацій
Гарантії належать графу, а не оптимізатору.
Каталог скінченний, оскільки кожна конфігурація має бути верифікована до розгортання. Навчання або досвід під час виконання можуть змінювати переваги й імовірності переходів, але не можуть створити неверифіковану конфігурацію або ребро.
\[
G_e=(\mathcal C,\mathcal T),
\qquad
T_{ij}\in\mathcal T
\Leftrightarrow
Adm_R(C_j,\rho)\wedge Adm_F(C_j)\wedge Stab(C_i,C_j).
\]
Архітектурний наслідок: SAFE_STOP і найглибше деградовані конфігурації можуть бути термінальними вузлами. Видалення патологічного вузла з множини перемикань може значно сильніше покращити гарантований інтервал реконфігурації, ніж налаштування окремих швидкостей спадання регуляторів.