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.

• Record URL:
  • https://escholarship.org/uc/item/1z5514gb
• Availability:
  • Find a library where document is available. Order URL: http://worldcat.org/issn/10551425
• Supplemental Notes:
  • Publication Date: 1996 Published By: California PATH Program, Institute of Transportation Studies, University of California, Berkeley CA
• Corporate Authors:

  University of California, Berkeley

  Department of Electrical Engineering and Computer Sciences
  Berkeley, CA  United States  94720

  University of California, Berkeley

  California PATH Program, Institute of Transportation Studies
  Richmond Field Station, 1357 South 46th Street
  Richmond, CA  United States  94804-4648

  California Department of Transportation

  1120 N Street
  Sacramento, CA  United States  95814
• Authors:
  • Sachs, Sonia R
  • Varaiya, P P
• Publication Date: 1996

Language

• English

Media Info

• Media Type: Digital/other
• Pagination: 3, 65 p.
• Serial:
  • PATH Research Report
  • Publisher: University of California, Berkeley
  • ISSN: 1055-1425

Subject/Index Terms

• TRT Terms: Advanced vehicle control systems; Arterial highways; Automated highways; Freeways
• Subject Areas: Highways; Operations and Traffic Management;

Filing Info

• Accession Number: 00786562
• Record Type: Publication
• Source Agency: UC Berkeley Transportation Library
• Report/Paper Numbers: UCB-ITS-PRR-96-3
• Files: PATH, TRIS, STATEDOT
• Created Date: Nov 17 2000 12:00AM