Deshpande, Akash; Gollu, Aleks; Semenzato, Luigi - Institute for Transportation Studies (ITS), University … - 1997
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...