Certificate-Guided Safe Tracking Control for Allocation-Guided Multi-UAV Missions
Hierarchical multi-UAV planning can produce scheduled paths that become unsafe during execution because tracking dynamics, actuator limits, sampling, and communication are not fully represented upstream. We introduce a certificate-guided safe-tracking framework that treats each planned path as a versioned execution con...