Стенд
Одна керована координата має резервні актуатори, сенсорні та комунікаційні ресурси. Конфігурації використовують лише ресурси, які реально доступні.
Дослідження / EXP-03
Реконфігурація після відмови
Парний виконуваний експеримент на резервованій одновісній системі. Дві незворотні відмови перевіряють, чи може супервізор зберегти визначену деградовану місію лише на ресурсах, що залишилися.
EXP-03відтворюванийстисла версія
Експеримент стисло
Експеримент стисло
Послідовність відмов
На 5.00 с втрачається двигун A. На 12.00 с — основний енкодер. Зруйновані ресурси залишаються на нулі.
Супервізор
Недопустима конфігурація запускає ANALYZE → SELECT → APPLY → VERIFY. Кандидати обмежені заданим орієнтованим графом.
Спостережений шлях
Після втрати актуатора супервізор обирає c1, після втрати енкодера — c3: c0 → c1 → c3.
Результат місії
Після першої відмови Φ=1.00 зберігається через резервний актуатор. Після другої система продовжує визначену деградовану місію з Φ=0.70; гілка без реконфігурації падає до Φ=0.15 на 16 с.
Виявлена межа
EXP-03 закриває структурне питання, але відкриває три відсутні гарантії: валідність моделі як ресурс, стабільність послідовності перемикань і вибір траєкторії з урахуванням горизонту.
МОДЕЛЬ / ТРАСА
Компактний формальний слід
\[
c_0\rightarrow c_1\rightarrow c_3,
\qquad \Phi(c_1)=1.00,\quad \Phi(c_3)=0.70,
\quad \Phi_{\mathrm{frozen}}(16\,\mathrm{s})=0.15.
\]
АРТЕФАКТИ
Докази та відтворюваність
Основна сторінка навмисно компактна. Сирі дані, код і аудиторські артефакти залишаються доступними для прямої перевірки.
МаніфестПараметри експерименту та карта артефактів.CSV супервізораЗаписана гілка з керуванням супервізора.CSV гілки без реконфігураціїПорівнювана гілка без реконфігурації.РішенняУсі кандидати селектора та їхні оцінки.Аудиторський звітНезалежна чисельна перевірка.Код експериментуВиконуваний парний експеримент.