Shift A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata.pdf

Shift A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata Akash Deshpande Aleks Gollu and Pravin Varaiya fakashgolluvaraiya geecsb erkeleyedu Department of Electrical Engineering and Computer Sciences University of California at Berkeley Berkeley CA Abstract Shift is a programming language for describing dynamic networks of hybrid automata Such systems consist of comp onents which can b e created interconnected and destroyed as the system evolves Comp onents exhibit hybrid b ehavior consisting of continuoustime phases separated by discreteevent transitions Comp onents may evolve indep endently or they may interact through their inputs outputs and exp orted events The interaction network itself may evolve We b elieve that the Shift mo del oers the prop er level of abstraction for describing complex applications such as automated highway systems air trac control systems rob otic shopo ors co ordinated submarines and other systems whose op eration cannot b e captured easily by con ventional mo dels We have implemented a compiler for translating a Shift program to a C program and we have implemented the Shift runtime system for obtaining an executable program The executable program when run simulates the design sp ecied in the Shift source program More information ab out Shift can b e found at URL httpwwwpathb erkeleyedushift Intro duction Shift is a programming language for describing dynamic networks of hybrid automata Such systems consist of comp onents which can b e created interconnected and destroyed as the system evolves Comp onents exhibit hybrid b ehavi