Safety Verification of Interconnected Vehicle Platooning Systems using Contract Negotiation

The core message of this article is to propose a tractable safety verification scheme for interconnected nonlinear systems, leveraging assume-guarantee contracts and sum-of-squares techniques. The authors develop a contract negotiation approach that exploits the interconnected structure to mitigate the numerical scalability issue in safety verification.