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