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

Shift Reference Manual

  • Author(s): Deshpande, Akash
  • Gollu, Aleks
  • Semenzato, Luigi
  • et al.
Abstract

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
Current View