🤖 AI Summary
To address the inflexibility arising from fixed formation ordering in multi-vehicle merging under dynamic, unstructured scenarios, this paper proposes the first cooperative constrained task-execution framework for order-variable platooning. The framework integrates mixed-integer programming, distributed model checking, and spatiotemporal conflict graph modeling to enable topology-agnostic distributed decision-making and real-time joint verification of motion and logical constraints. It further incorporates a lightweight communication protocol and a receding-horizon optimization mechanism. Evaluated in a CARLA+SUMO co-simulation, the framework achieves a 99.2% merging success rate, reduces average latency by 37%, and supports real-time coordination for dynamic platoons of 12+ vehicles. Its core contribution lies in breaking the conventional rigidity of formation ordering—establishing, for the first time, a unified framework that enables both dynamic logical reordering and provably safe cooperative execution.