A First Example Specification Of An Automated Freeway

Anthony Hitchcock

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

Abstract: 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.

Keywords: Express highways--Automation; Automobiles--Automatic control (search for similar items in EconPapers)
Date: 1991-01-01
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (5)

Downloads: (external link)
https://www.escholarship.org/uc/item/4t0036xb.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:qt4t0036xb

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 ().