Koopman-lifted dual-mode predictive control for intrusion detection system (IDS)-based multi-UAV formation
The proposed architecture exploits the Koopman operator to approximately linearize the tracking dynamics in a high-dimensional lifted observable space, enabling computationally tractable predictive control with formal stability guarantees of the input-to-state type that explicitly account for the finite-dimensional Koo...