This report presents SHIFT, a programming language for describing dynamic networks of hybrid automata. The SHIFT model offers the proper level of abstraction for describing complex applications such as automated highway systems, etc. The report first describes a simplified version of the SHIFT...

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