Abstract
SHIFT is a programming language for the specification and simulation of 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.
SHIFT is being used in real-life applications such as automated highway systems, coordinated autonomous submarines, air traffic management, and material handling systems. We believe that the SHIFT model offers the proper level of abstraction for describing these and other similar applications whose operation 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 the URL http://www.path.berkeley.edu/shift.
Preview
Unable to display preview. Download preview PDF.
References
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 '97in Orlando Florida.
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.
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ü, L. Semenzato, R. Sengupta, D. Swaroop and P. Varaiya. Automated Highway System Tool Interface Format. California PATH Technical Report (draft). 24 January 1996.
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. Göllü, L. Semenzato. “The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata”. To appear in Proceedings of IEEE.
F. Eskafi, Delnaz Khorramabadi, and P. Varaiya, An Automatic Highway System Simulator. In Transpn. Res.-C Vol. 3, No. 1, pp. 1–17, 1995.
F. Eskafi, A. Göllü. “Simulation Needs for Automated Highway Planning”. To appear in Transactions of Society of Computer Simulation.
Estelle — A Formal Description Technique Based on Extended State Transition Model. ISO9074, 1988
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ü. Object Management Systems. PhD Thesis, UC Berkeley 1995.
A. Göllü, P. Varaiya. “Dynamic Networks of Hybrid Automata”, Fifth Annual Conference on AI, Simulation, and Planning in High Autonomy Systems, pp. 244–251, Gainesville, Florida. 1994.
A. Göllü, P. Varaiya. “SmartAHS: A Simulation Framework for Automated Vehicles and Highway Systems”. To appear in International Journal of Mathematical and Computer Modeling.
J. Haddon, D. Godbole, A. Deshpande and J. Lygeros. Verification of Hybrid Systems: Monotonicity in the AHS Control System. In DIMACS. 1995.
C.A.R. Hoare. Communicating Sequential Processes, Prentice/Hall International, 1985
G.P. Hong and T. G. Kim. The DEVS Formalism: A Framework for Logical Analysis and Performance. In Fifth Annual Conference on AI, Simulation, and Planning in High Autonomy Systems, pp. 170–278, Gainesville, Florida. 1994.
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.
Kemal Inan and Pravin Varaiya. Finitely Recursive Process Models for Discrete Event Systems. In IEEE Trans. Auto. Control, vol. AC-33, no. 7, pp. 626–639, July 1988.
Tak-Kuen Juhn Koo, Yi Ma, George J. Pappas and Claire Tomlin. “SmartATMS: 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.
LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behavior. ISO8807, 1X5989
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.
R. Milner. A Calculus of Communicating Systems, Springer-Verlag, 1980
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.
L. Semenzato, A. Deshpande and A. Göllü. Shift Reference Manual. California PATH Technical Report (draft). 28 June 1996.
Joao Sousa and Aleks Göllü “A Simulation Environment of the Coordinated Operation of Multiple Autonomous Underwater Vehicles” Submitted to Winter Simulation Conference 1997.
Specification and Description Language SDL. International Telecommunications Union-T Rec.Z.100 1988.
P. Varaiya. Smart cars on smart roads: problems of control. In IEEE Trans. Automatic Control, vol. 38, No. 2, 1993. or31. 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
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Deshpande, A., Göllü, A., Varaiya, P. (1997). SHIFT: A formalism and a programming language for dynamic networks of hybrid automata. In: Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (eds) Hybrid Systems IV. HS 1996. Lecture Notes in Computer Science, vol 1273. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0031558
Download citation
DOI: https://doi.org/10.1007/BFb0031558
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63358-7
Online ISBN: 978-3-540-69523-3
eBook Packages: Springer Book Archive