17. The Shift programming language and run-time system for dynamic networks of hybrid automata

摘要

Shift is a programming language for describing and simulating dynamic networks of hybrid automata. SUch systes 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. Compoonents may evolve independently, or they may interact through selected state variables and events. The interaction network itself may evolve.