Shift Reference Manual
Aleks Gollu and
Institute of Transportation Studies, Research Reports, Working Papers, Proceedings from Institute of Transportation Studies, UC Berkeley
This document is a reference manual for SHIFT, a description language for dynamic networks of hybrid systems. This model offers the proper level of abstraction for describing complex applications such as highway and air traffic control systems, robotic shopfloors, and other systems whose operation cannot be captured by conventional models. SHIFT is planned for use as a mechanism for defining the Automated Highway System Tool Interchange Format (AHSTIF). An automated highway system is a hybrid system with specific characteristics and restrictions. SHIFT supports the definition and enforcement of AHSTIF-specific semantics.
Keywords: SHIFT (Computer program language); Automobiles--Automatic control; Express highways--Automation (search for similar items in EconPapers)
References: Add references at 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:qt8090578j
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 ().