The SHIFT programming language for dynamic networks of hybrid automata

IEEE Transactions on Automatic Control

Volumn 43, Issue 4, 1998, Pages 584-587

  Deshpande, Akash ^a   Göllü, Aleks ^a   Semenzato, Luigi ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER PROGRAMMING LANGUAGES; DIFFERENTIAL EQUATIONS; MATHEMATICAL MODELS;

FORMAL SEMANTICS; HYBRID AUTOMATA;

FORMAL LANGUAGES;

EID: 0032050367     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.664163     Document Type: Article

References (21)

1. 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, Lecture Notes in Computer Science, vol. 736. New York: Springer-Verlag, 1993, pp. 209-229.
2. F. Barros, "Dynamic structure discrete event specification formalism," in Trans. Soc. for Computer Simulation, pp. 35-46, 1996.
3. A. Deshpande and P. Varaiya, "Viable control of hybrid systems," in Hybrid Systems II, Lecture Notes in Computer Science, vol. 999. New York: Springer-Verlag, 1995.
4. A. Deshpande, D. Godbole, A. Göllü, and P. Varaiya, "Design and evaluation tools for automated highway systems," in Proc. DIMACS 1995 and in Hybrid Systems III, Lecture Notes in Computer Science. New York: Springer-Verlag, 1996.
5. F. Eskafi, D. Khorramabadi, and P. Varaiya, "An automatic highway system simulator," in Transpn. Res.-C, vol. 3, no. 1, pp. 1-17, 1995.
6. 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 Proc. Conf. Decision and Control, 1995.
7. A. Göllü and P. Varaiya, "SmartAHS: An object oriented simulation framework for highway systems," Int. J. Math. and Computer Modeling, to be published.
8. _, "Dynamic networks of hybrid automata," in Proc. Fifth Ann. Conf. Al, Simulation, and Planning in High Autonomy Systems, Gainesville, FL, 1994, pp. 244-251.
9. D. Harel, "Statecharts: A visual approach to complex systems," Sci. Computer Programming, vol. 8, pp. 231-275, 1987.
10. A. Hsu, F. Eskafi, S. Sachs, and P. Varaiya, "Protocol design for an automated highway system," in Discrete Event Dynamic Systems: Theory and Appl. 2, pp. 183-206, 1993.
11. T.-K. J. Koo, Y. Ma, G. J. Pappas, and C. Tomlin, "SmartATMS: A simulator for air traffic management systems," in Proc. Winter Simulation Conf. 1997, to be published.
12. R. Kurshan, Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach. Princeton, NJ: Princeton Univ. Press, 1994.
13. F. Maraninchi, "The argos language: Graphical representation of automata and description of reactive systems," in Proc. IEEE Int. Conf. Visual Languages, Kobe, Japan, 1991.
14. R. Milner, J. Parrow, and D. Walker, "A calculus of mobile processes - Parts I and II," Information and Computation, 100, vol. 1, pp. 1-77, 1992.
15. S. E. Mattsson and M. Anderson, "The ideas behind omola," in Proc. IEEE Symp. Computer Aided Control System Design, CADCS'92, Napa, CA, Mar. 17-19, 1992.
16. H. Praehofer, F. Auernig, and G. Resinger, "An environment for DEVS-based multiformalisms simulation in common Lisp/CLOS," Discrete Event Dynamic Systems: Theory and Application, vol. 3, no. 2, pp. 119-149, 1993.
17. A. Puri and P. Varaiya, "Driving safely in smart cars," in Amer. Contr. Conf., 1995, pp. 3597-3599.
18. J. Sousa and A. Göllü, "A simulation environment of the coordinated operation of multiple autonomous underwater vehicles," in Proc. Winter Simulation Conf. 1997, to be published.
19. P. Varaiya, "Smart cars on smart roads: Problems of control," in IEEE Trans. Automatic Contr., vol. 38, 1993.
20. P. Wegner, "Concepts and paradigms of object-oriented programming," ACM SIGPLAN OOPS Messenger, vol. 1, no. 1, Aug. 1990.
21. B. Zeigler, Multifaceted Modeling and Discrete Event Simulation. London, U.K.: Academic, 1984.