Skip to main content
Open Access Publications from the University of California
Notice: eScholarship will undergo scheduled maintenance from Tuesday, January 21 to Wednesday, January 22. Some functionality may not be available during this time. Learn more at eScholarship Support.
Download PDF
- Main
Formal Specification And Verification Of The Entry And Exit Maneuvers
Abstract
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.
Main Content
For improved accessibility of PDF content, download the file to your device.
Enter the password to open this PDF file:
File name:
-
File size:
-
Title:
-
Author:
-
Subject:
-
Keywords:
-
Creation Date:
-
Modification Date:
-
Creator:
-
PDF Producer:
-
PDF Version:
-
Page Count:
-
Page Size:
-
Fast Web View:
-
Preparing document for printing…
0%