MPC
Jak działa
Co krok T: (1) estymuj bieżący stan x(t) (np. przez KF); (2) rozwiąż QP/NLP: min Σ||x-ref||²_Q + ||u||²_R s.t. x_{t+1}=f(x_t,u_t), u_min≤u≤u_max, x_min≤x≤x_max, po horyzoncie N; (3) zastosuj u*(0) do obiektu; (4) przesuń horyzont o 1 krok.
Rozwiązany problem
Jak uwzględniać ograniczenia fizyczne (nasycenia aktuatorów, bezpieczne zakresy) explicite w pętli sterowania, jednocześnie optymalizując trajektorię wielokrokową.
Komponenty
Model dynamiki obiektu (liniowy lub nieliniowy) używany do predykcji trajektorii stanu w horyzoncie.
Funkcja kosztu penalizująca odchylenia od referencji i koszt wejść: J = Σ(||x-xref||²_Q + ||u||²_R) + ||x_N-xref||²_P.
Jawne ograniczenia na stany i wejścia: u_min ≤ u ≤ u_max, x_min ≤ x ≤ x_max.
Solver optymalizacyjny (OSQP, HPIPM, IPOPT, ACADOS) rozwiązujący zadanie w czasie rzeczywistym.
Implementacja
NMPC może przekroczyć czas próbkowania na embedded CPU, co powoduje niestabilność.
Rozbieżność między modelem a obiektem (szczególnie po uszkodzeniu w FTC) degraduje jakość sterowania.
Niefeasible QP/NLP przy mocnych ograniczeniach lub zakłóceniach może uniemożliwić obliczenie sterowania.
Ewolucja
Richalet et al. proponują IDCOM (Identification and Command) — pierwszą przemysłową implementację MPC w rafinerii.
Cutler & Ramaker prezentują DMC — MPC z modelem odpowiedzi skokowej.
Mayne, Rawlings, Rao, Scokaert publikują „Constrained model predictive control: Stability and optimality" — fundamenty teoretyczne z gwarancjami stabilności.
ACADO i CasADi umożliwiają NMPC na embedded hardware dla dronów i manipulatorów.
Integracja modeli uczonych (GP, NN) z ramą MPC — lepsza dokładność predykcji przy zachowaniu gwarancji bezpieczeństwa.
Szczegóły techniczne
Wymagania sprzętowe
Solvery QP (OSQP, HPIPM) silnie zoptymalizowane pod SIMD/AVX na CPU.
GPU używane dla batchowego MPC lub learning-based MPC z sieciami neuronowymi.
FPGA rozwiązania MPC dla ultra-krótkich horyzontów (explicit MPC / pre-computed LUT).