A First Example Specification Of An Automated Freeway

This paper presents a specification for an automated freeway in a fully formal manner. A series of safety analyses have been carried out on the specification. The objective of the program is to derive a technique of safety analysis for such systems. Readers are advised to consult " Methods for Analysis of IVHS Safety: Final Report of PATH MOU 19" by the author for background information to this report.

MoreLess

Year of publication:	1991-01-01
Authors:	Hitchcock, Anthony
Institutions:	Institute for Transportation Studies (ITS), University of California-Berkeley
Subject:	Express highways-Automation \| Automobiles-Automatic control

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://www.econbiz.de/10010843113