Skip to main content
SpringerLink
Log in

SHIFT: A formalism and a programming language for dynamic networks of hybrid automata

  • Conference paper
  • First Online:
Hybrid Systems IV (HS 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1273))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. F. Barros. Dynamic Structure Discrete Event Specification Formalism. In Transactions for the Society for Computer Simulation. No 1, pp. 35–46 1996.

    Google Scholar 

  2. F. Barros. Dynamic Structure discrete event systems: A comparison of methodologies and environments. In Proc. SPIE's Aerosense '97in Orlando Florida.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. A. Deshpande and P. Varaiya. Viable Control of Hybrid Systems. In Hybrid Systems II, LNCS 999, Springer-Verlag. 1995.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. 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.

    Google Scholar 

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

    Google Scholar 

  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.

    Google Scholar 

  9. F. Eskafi, A. Göllü. “Simulation Needs for Automated Highway Planning”. To appear in Transactions of Society of Computer Simulation.

    Google Scholar 

  10. Estelle — A Formal Description Technique Based on Extended State Transition Model. ISO9074, 1988

    Google Scholar 

  11. 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.

    Google Scholar 

  12. A. Göllü. Object Management Systems. PhD Thesis, UC Berkeley 1995.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. 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.

    Google Scholar 

  15. J. Haddon, D. Godbole, A. Deshpande and J. Lygeros. Verification of Hybrid Systems: Monotonicity in the AHS Control System. In DIMACS. 1995.

    Google Scholar 

  16. C.A.R. Hoare. Communicating Sequential Processes, Prentice/Hall International, 1985

    Google Scholar 

  17. 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.

    Google Scholar 

  18. 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.

    Google Scholar 

  19. 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.

    Google Scholar 

  20. 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.

    Google Scholar 

  21. R. Kurshan. Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach. Princeton University Press, 1994.

    Google Scholar 

  22. LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behavior. ISO8807, 1X5989

    Google Scholar 

  23. 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.

    Google Scholar 

  24. R. Milner. A Calculus of Communicating Systems, Springer-Verlag, 1980

    Google Scholar 

  25. 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.

    Google Scholar 

  26. A. Puri and P. Varaiya. Driving safely in smart cars. In American Control Conference, pp. 3597–3599, 1995.

    Google Scholar 

  27. L. Semenzato, A. Deshpande and A. Göllü. Shift Reference Manual. California PATH Technical Report (draft). 28 June 1996.

    Google Scholar 

  28. Joao Sousa and Aleks Göllü “A Simulation Environment of the Coordinated Operation of Multiple Autonomous Underwater Vehicles” Submitted to Winter Simulation Conference 1997.

    Google Scholar 

  29. Specification and Description Language SDL. International Telecommunications Union-T Rec.Z.100 1988.

    Google Scholar 

  30. 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.

    Google Scholar 

  31. Bernard Zeigler. Multifaceted modeling and discrete event simulation. Academic Press, London, Orlando, 1984.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical Engineering and Computer Sciences, USA

    Akash Deshpande, Aleks Göllü & Pravin Varaiya

  2. California PATH, University of California at Berkeley, 94720, Berkeley, CA

    Akash Deshpande, Aleks Göllü & Pravin Varaiya

Authors
  1. Akash Deshpande
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Aleks Göllü
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Pravin Varaiya
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Panos Antsaklis Wolf Kohn Anil Nerode Shankar Sastry

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation