Adapting Craig Reynolds' computer graphics flocking rules into formally verified safety-critical automotive control laws.
Construire des fonctions de contrôle Lyapunov-barrière garantit l'atténuation exponentielle des erreurs d'espacement le long du peloton.