Abstract
SHIFT is a programming language for describing and simulating dynamic networks of hybrid automata. Such Systems 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. Components may evolve independently, or they may interact through selected state variables and events. The interaction network itself may evolve. SHIFT is currently used in two applications: automated highway Systems and coordinated submarine Systems. The SHIFT model offers the proper level of abstraction for describing these and other applications such as air traffic control Systems and robotic shop-floors whose dynamic reconfigurations cannot be captured easily by conventional models. We have implemented a Compiler and a run-time system for SHIFT. The Compiler translates a SHIFT program into a C program, which, when run, simulates the design specified in the SHIFT source program. More Information about SHIFT can be found at www.path.berkeley.edu/ shift.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. Alur, C. Courcoubetis, T. Henzinger, and P. Ho. Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. In Hybrid Systems, LNCS 736, Springer-Verlag, 1993, pp. 209–229.
F. Barros. Dynamic Structure Discrete Event Specification Formalism. In Transactions for the Society for Computer Simulation. No 1, pp. 35–46 1996.
F. Barros. Dynamic Structure discrete event Systems: A comparison of methodologies and environments. In Proc. SPIE’s Aerosense ’97 in Orlando Florida.
C.Daws, A.Olivero, S.Tripakis and S.Yovine. The tool Kronos. In Hybrid Systems II, Verification and Control, Lecture Notes in Computer Science 1066, Springer-Verlag, 1996.
A. Deshpande and P. Varaiya. Viable Control of Hybrid Systems. In Hybrid Systems II, LNCS 999, Springer-Verlag. 1995.
A. Deshpande, D. Godbole, A. Göllü, P. Varaiya. "Design and Evaluation Tools for Automated Highway Systems." In DIMACS 1995 and in Hybrid Systems III, LNCS, Springer-Verlag, 1996.
A. Deshpande, A. GGöllü, and L. Semenzato. Shift Reference Manual. California PATH Technical Report UCB-ITS-PRR-97-8.
F. Eskafi, Delnaz Khorramabadi, and P. Varaiya, An Automatic Highway System Simulator. In Transpn. Res.-C Vol. 3, No. 1, pp. 1–17, 1995.
D. Godbole, J. Lygeros, E. Singh, A. Deshpande and E. Lindsey. Design and Verification of Communication Protocols for Degraded Modes of Operation of AHS. In Conference on Decision and Control. 1995.
A. Göllü, P. Varaiya. "SmartAHS: An Object Oriented Simulation Framework for Highway Systems", To Appear in Iternational Journal of Mathematical and Computer Modeling.
A. Göllü, P. Varaiya. "Dynamic Networks of Hybrid Automata", Fifth Annual Conference on AI, Simulation, and Flanning in High Autonomy Systems, pp. 244–251, Gainesville, Florida. 1994.
J. Haddon, D. Godbole, A. Deshpande and J. Lygeros. Verification of Hybrid Systems: Monotonicity in the AHS Control System. In DIMACS. 1995.
D. Harel. Statecharts: a visual approach to complex Systems. Science of Computer Programming, 8(3):231–275, 1987.
A. Hsu, F. Eskafi, S. Sachs, P. Varaiya. Protocol Design for an Automated Highway System. In Discrete Event Dynamic Systems: Theory and Applications 2, (1993): 183–206.
Tak-Kuen Juhn Koo, Yi Ma, George J. Pappas and Ciaire Tomlin. “Smart-ATMS: A Simulator for Air Traffic Management Systems” Submitted to Winter Simulation Conference 1997.
R. Kurshan. Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach. Princeton University Press, 1994.
F. Maraninchi. The Argos language: Graphical Representation of Automata and Description of Reactive Systems. Proc. IEEE International Conference on Visual Languages, Kobe, Japan, 1991
S.E. Mattsson and M. Anderson. The Ideas Behind Omola. In Proc. IEEE Symposium on Computer Aided Control System Design, CADCS ’92. Napa, CA, March 17–19 1992.
H. Praehofer, F. Auernig, adn G. Resinger. “An Environment for DEVS-based multiformalisms Simulation in Common Lisp/CLOS”, Discrete Event Dynamic Systems: Theory and Application, 3(2): 119–149, 1993.
A. Puri and P. Varaiya, Driving safely in smart cars. In American Control Conference, pp. 3597–3599, 1995.
Joao Sousa and Aleks GöllÜ. "A Simulation Environment of the Coordinated Operation of Multiple Autonomous Underwater Vehicles" Submitted to Winter Simulation Conference 1997.
P. Varaiya. Smart cars on smart roads: problems of control. In IEEE Trans. Automatic Control, vol. 38, No. 2, 1993.
Peter Wegner. “Concepts and Paradigms of Object-Oriented Programming”, ACM SIGPLAN OOPS Messenger, 1(1), Aug 1990.
Bernard Zeigler. Multifaceted modeling and discrete event simulation. Academic Press, London, Orlando, 1984.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg New York
About this chapter
Cite this chapter
Deshpande, A., Göllü, A., Semenzato, L. (2000). The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata. In: Inan, M.K., Kurshan, R.P. (eds) Verification of Digital and Hybrid Systems. NATO ASI Series, vol 170. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-59615-5_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-59615-5_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-64052-0
Online ISBN: 978-3-642-59615-5
eBook Packages: Springer Book Archive