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.

MoreLess

Year of publication:	1996-02-01
Authors:	Sachs, S. R. ; Varaiya, P.
Institutions:	Institute for Transportation Studies (ITS), University of California-Berkeley
Subject:	Express highways-Automation \| Automobiles-Automatic control \| Freeway ramps

More details

Extent:	application/pdf
Series:	Institute of Transportation Studies, Research Reports, Working Papers, Proceedings.
Type of publication:	Book / Working Paper
Notes:	The text is part of a series Institute of Transportation Studies (UCB)
Source:	RePEc - Research Papers in Economics

Persistent link: https://ebvufind01.dmz1.zbw.eu/10010537065