Formal Specification And Verification Of The Entry And Exit Maneuvers

This report studies the technical deployment of an Automated Highway System (AHS), and specifically, the interface between an AHS and Urban Arteries (UA). The report focuses on four tasks: 1) specify physical arrangement, operational procedures for entry/exit, 2) conceptualize functions of transfer zone between the AHS and UA, 3) characterize interaction between AHS and UA, and, 4) propose ways of controlling the interaction.