生物模倣フロッキングの車載機能安全と安定性解析

Adapting Craig Reynolds' computer graphics flocking rules into formally verified safety-critical automotive control laws.

リアプノフ大域漸近安定性証明

制御リアプノフ・バリア関数により、車間誤差が隊列後方へ伝播するにつれて指数関数的に減衰することを数学的に保証します。