Adapting Craig Reynolds' computer graphics flocking rules into formally verified safety-critical automotive control laws.
Constructing strict control Lyapunov-barrier functions guarantees that vehicle tracking spacing errors attenuate exponentially down the platoon chain rather than amplifying into phantom traffic shockwaves.