Formal Specification And Verification Of The Entry And Exit Maneuvers

S. R. Sachs and P. Varaiya

Institute of Transportation Studies, Research Reports, Working Papers, Proceedings from Institute of Transportation Studies, UC Berkeley

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.

Keywords: Express highways--Automation; Automobiles--Automatic control; Freeway ramps (search for similar items in EconPapers)
Date: 1996-02-01
References: View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
https://www.escholarship.org/uc/item/1z5514gb.pdf;origin=repeccitec (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:cdl:itsrrp:qt1z5514gb

Access Statistics for this paper

More papers in Institute of Transportation Studies, Research Reports, Working Papers, Proceedings from Institute of Transportation Studies, UC Berkeley Contact information at EDIRC.
Bibliographic data for series maintained by Lisa Schiff ().