SHIFT(ID:4015/shi001)


Programming language with simulation semantics




References:
  • Deshpande A., A. Gollu, L. Semenzato. "The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata". California PATH Technical Report UCB-ITS-PRR-97-7. view details Abstract: SHIFT is a programming language with simulation semantics. The main distinguishing features of SHIFT are: 1) it models agents that have continuous time and discrete event dynamics and provides explicit syntax to specify such behavior; 2) it models systems that consist of heterogeneous set of interacting agents where models of individual agents are known and the goal is the study of the emergent behavior resulting from their interaction; 3) it can simulate a dynamic set of agents; and 4) it can...
  • M. Antoniotti and A. Gollu. "SHIFT and SMART-AHS: A language for hybrid system engineering modeling and simulation" view details Abstract: Describes the language SHIFT for hybrid system simulation. Main application area is traffic simulation. Implemented by
    translation to C and a run-time library with solvers for various kinds of differential equations.
          in Proceedings of the USENIX Conference on Domain-Specific Languages, Berkeley, CA, October 15–17 1997. J. C. Ramming, editor. USENIX Association view details