A First Example Specification Of An Automated Freeway
Institute of Transportation Studies, Research Reports, Working Papers, Proceedings from Institute of Transportation Studies, UC Berkeley
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)
References: View complete reference list from CitEc
Citations: View citations in EconPapers (4) Track citations by RSS feed
Downloads: (external link)
This item may be available elsewhere in EconPapers: Search for items with the same title.
Export reference: BibTeX
RIS (EndNote, ProCite, RefMan)
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 ().