Skip to main content
Open Access Publications from the University of California

Shift Reference Manual


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.

Main Content
For improved accessibility of PDF content, download the file to your device.
Current View