The Shift Programming Language and Run-time System for Dynamic Networks of Hybrid Automata

@inproceedings{Deshpande1997TheSP,
  title={The Shift Programming Language and Run-time System for Dynamic Networks of Hybrid Automata},
  author={Akash Deshpande and Aleks G{\"o}ll{\"u} and Luigi Semenzato and Aleks Goll},
  year={1997}
}
Shift is a programming language for describing dynamic networks of hybrid automata. Such systems consist of components which 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 their inputs, outputs and exported events. The interaction network itself may evolve. We believe that the Shift model o ers… CONTINUE READING
Highly Cited
This paper has 121 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 81 extracted citations

SmartATMS: A Simulator for Air Traffic Management Systems

Winter Simulation Conference • 1997
View 13 Excerpts
Highly Influenced

A survey on automata-based methods for modelling and simulation of industrial systems

2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA 2007) • 2007
View 3 Excerpts
Highly Influenced

Hybrid Techniques for Hybrid Systems

View 3 Excerpts
Highly Influenced

Physically informed assertions for cyber physical systems development and debugging

2014 IEEE International Conference on Pervasive Computing and Communication Workshops (PERCOM WORKSHOPS) • 2014
View 2 Excerpts

122 Citations

051015'96'01'07'13'19
Citations per Year
Semantic Scholar estimates that this publication has 122 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 16 references

Design and Evaluation Tools for Automated Highway Systems.

A. Deshpande, D. Godbole, A. Goll u, P. Varaiya
In DIMACS 1995 and in Hybrid Systems III, LNCS, Springer-Verlag, • 1996
View 1 Excerpt

An Automatic Highway System Simulator

F. Eska, Delnaz Khorramabadi, P. Varaiya
In Transpn. Res.-C • 1995
View 1 Excerpt

Computer-Aided Veri cation of Coordinating Processes: The Automata-Theoretic Approach

R. Kurshan
1994
View 1 Excerpt

Dynamic Networks of Hybrid Automata

G A.
Fifth Annual Conference on AI, Simulation, and Planning in High Autonomy Systems, • 1994
View 1 Excerpt

The DEVS formalism: a framework for logical analysis and performance evaluation for discrete event systems

Fifth Annual Conference on AI, and Planning in High Autonomy Systems • 1994
View 1 Excerpt

Similar Papers

Loading similar papers…