Title :
The use of SHIFT in system design
Author :
Deshpande, Akash ; Varaiya, Pravin
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
Abstract :
SHIFT is a programming language for describing dynamic networks of hybrid automata. Such systems consist of components which can be created, interconnected and destroyed and the system evolves. Components exhibit hybrid behavior, consisting of continuous-time phases separated by discrete-event transitions. Components may evolve independently, or they may interact through their inputs, outputs and exported events. The interaction network itself may evolve. This paper illustrates how SHIFT was used to analyze multiple merge junction automated highways for safety and efficiency by several design teams comprising graduate students, research engineers and faculty
Keywords :
automata theory; control system analysis; directed graphs; discrete event systems; programming languages; road traffic; traffic control; traffic engineering computing; SHIFT; continuous-time phases; discrete-event transitions; dynamic networks; efficiency; hybrid automata; multiple merge junction automated highways; programming language; safety; system design; Automata; Automated highways; Automatic control; Computer languages; Differential equations; Hybrid junctions; Intelligent networks; Prototypes; Road safety; Velocity control;
Conference_Titel :
Decision and Control, 1997., Proceedings of the 36th IEEE Conference on
Conference_Location :
San Diego, CA
Print_ISBN :
0-7803-4187-2
DOI :
10.1109/CDC.1997.650718
