On the partitioning of syntax and semantics for hybrid systems tools

Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference, CDC-ECC '05

Volumn 2005, Issue , 2005, Pages 4694-4699

  Sprinkle, Jonathan ^a   Ames, Aaron D ^a   Pinto, Alessandro ^a   Zheng, Haiyang ^a   Sastry, S Shankar ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION DOMAIN; FORMAT INTERCHANGE; HYBRID SYSTEMS; SEMANTIC PARTITIONS;

COMPUTER AIDED SOFTWARE ENGINEERING; CONTROL THEORY; PROBLEM SOLVING; SEMANTICS; SYNTACTICS;

CONTROL SYSTEM ANALYSIS;

EID: 33847226267     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2005.1582903     Document Type: Conference Paper

References (14)

1. J. Sprinkle, G. Karsai, and A. Lang, Hybrid Systems Interchange Format (v.4.1.8), Vanderbilt University, http://www.isis.vanderbilt.edu/projects/ mobies/downloads.asp, Jan. 2004.
2. J. Sprinkle, "Generative components for hybrid systems tools," J. of Obj. Tech., vol. 4, no. 3, pp. 35-40, Apr. 2005, Special Issue from GPCE Young Researchers Workshop.
3. R. Alur, T. Dang, J. Esposito, R. Fierro, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. Pappas, and O. Sokolsky, "Hierarchical hybrid modeling of embedded systems," in EMSOFT'01, First Workshop on Embedded Software, Oct. 2001.
4. A. Chutinan and B. H. Krogh, "Computational techniques for hybrid system verification," IEEE Trans. on Automatic Control, vol. 48, no. 1, pp. 64-75, 2003.
5. E. A. Lee and H. Zheng, "Operational semantics of hybrid systems," in Proceedings of Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, ser. Lecture Notes in Computer Science, M. Morari and L. Thiele, Eds., vol. 3414. Springer-Verlag, Mar. 2005.
6. A. Cataldo, C. Hylands, E. A. Lee, J. Liu, X. Liu, S. Neuendorffer, and H. Zheng, "Hyvisual: A hybrid system visual modeler." University of California, Berkeley, Berkeley, CA 94720, Technical Memorandum UCB/ERL M03/30, July 2003.
7. A. Pinto, A. Sangiovanni-Vincentelli, L. Carloni, and R. Passerone, "Interchange formats for hybrid systems: Review and proposal," in Proceedings of Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, ser. Lecture Notes in Computer Science, M. Morari and L. Thiele, Eds., vol. 3414. Springer-Verlag, Mar. 2005.
8. L. Carloni, M. D. Di Bebedetto, C. Pinello, A. Pinto, and A. Sangiovanni-Vincentelli, "Modeling techniques, programming languages design toolsets for hybrid systems," The Columbus Project, Tech. Rep. DHS4-6, July 2004.
9. F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone, and A. Sangiovanni-Vincentelli, "Metropolis: An integrated electronic system design environment," IEEE Computer, vol. 36, no. 4, pp. 45-52, Apr. 2003.
10. D. Harel and B. Rumpe, "Meaningful modeling: what's the semantics of "semantics"?" IEEE Computer, vol. 37, no. 10, pp. 64-72, Oct. 2004.
11. A. D. Ames and S. S. Sastry, "A homology theory for hybrid systems: Hybrid homology," in Proceedings of Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, ser. Lecture Notes in Computer Science, M. Morari and L. Thiele, Eds., no. 3414. Springer-Verlag, Mar. 2005, pp. 86-102.
12. G. Karsai, M. Maroti, A. Lédeczi, J. Gray, and J. Sztipanovits, "Composition and cloning in modeling and meta-modeling," IEEE Transactions on Control Systems Technology, vol. 12, no. 2, pp. 263-278, Mar. 2004.
13. A. Lédeczi, A. Bakay, M. Maroti, P. Volgyesi, G. Nordstrom, J. Sprinkle, and G. Karsai, "Composing domain-specific design environments," IEEE Computer, pp. 44-51, Nov. 2001.
14. E. Asarin, T. Dang, O. Maler, and O. Bournez, "Approximate reachability analysis of piecewise linear dynamical systems," in Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science, vol. 1790. London: Springer-Verlag, Mar. 2000, pp. 20-31.