The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata (0)
Cached
Download Links
| Citations: | 51 - 10 self |
BibTeX
@MISC{Deshpande_theshift,
author = {Akash Deshpande and Aleks Göllü and Aleks Gollu and Luigi Semenzato},
title = {The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata},
year = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
. Shift is a programming language for describing and simulating dynamic networks of hybrid automata. Such systems consist of components that can be created, interconnected and destroyed as 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 selected state variables and events. The interaction network itself may evolve. Shift is currently used in two applications: automated highway systems and coordinated submarine systems. The Shift model offers the proper level of abstraction for describing these and other applications such as air traffic control systems and robotic shop-floors whose dynamic reconfigurations cannot be captured easily by conventional models. We have implemented a compiler and a run-time system for Shift. The compiler translates a Shift program into a C program, which, when run, simulates the design specified in the Shift s...
