The Shift Programming Language And Run-time System For Dynamic Networks Of Hybrid Automata
Aleks Gollu and
Institute of Transportation Studies, Research Reports, Working Papers, Proceedings from Institute of Transportation Studies, UC Berkeley
This report presents SHIFT, a programming language for describing dynamic networks of hybrid automata. The SHIFT model offers the proper level of abstraction for describing complex applications such as automated highway systems, etc. The report first describes a simplified version of the SHIFT model. The models of a type, a component and the world are discussed, including the formal semantics of the model. This is followed by a description of the main features of the SHIFT language, including states, inputs, outputs, differential equations and algebraic definitions, discrete states and state transitions. Two examples are provided illustrating these features. In the final section, the run-time environment for simulating SHIFT programs is described, and in particular, the algorithm for determining synchronized transitions.
Keywords: SHIFT (Computer program language); Automobiles--Automatic control; Express highways--Automation (search for similar items in EconPapers)
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (1) Track citations by RSS feed
Downloads: (external link)
This item may be available elsewhere in EconPapers: Search for items with the same title.
Export reference: BibTeX
RIS (EndNote, ProCite, RefMan)
Persistent link: https://EconPapers.repec.org/RePEc:cdl:itsrrp:qt8hm0252h
Access Statistics for this paper
More papers in Institute of Transportation Studies, Research Reports, Working Papers, Proceedings from Institute of Transportation Studies, UC Berkeley Contact information at EDIRC.
Bibliographic data for series maintained by Lisa Schiff ().