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

Volume

1

fYear

1997

fDate

10-12 Dec 1997

Firstpage

708

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control, 1997., Proceedings of the 36th IEEE Conference on

Conference_Location

San Diego, CA

ISSN

0191-2216

Print_ISBN

0-7803-4187-2

Type

conf

DOI

10.1109/CDC.1997.650718

Filename

650718