The Shift Programming Language And Run-time System For Dynamic Networks Of Hybrid Automata

Akash Deshpande, Aleks Gollu and Luigi Semenzato

Institute of Transportation Studies, Research Reports, Working Papers, Proceedings from Institute of Transportation Studies, UC Berkeley

Abstract: 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)
Date: 1997-01-01
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
https://www.escholarship.org/uc/item/8hm0252h.pdf;origin=repeccitec (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

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 ().