Interchange formats for hybrid systems: Review and proposal

Lecture Notes in Computer Science

Volumn 3414, Issue , 2005, Pages 526-541

  Pinto, Alessandro ^a   Sangiovanni Vincentelli, Alberto ^a   Carloni, Luca P ^c   Passerone, Roberto ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b CADENCE DESIGN SYSTEMS   (United States)

^c Department of Earth and Environmental Sciences   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; FORMAL LANGUAGES; MATHEMATICAL MODELS; SEMANTICS; SURVEYS; TRANSLATION (LANGUAGES);

FORMAL REASONING; HYBRID SYSTEMS; INTEGRATE FOREIGN TOOLS; SYNTAX; VERIFICATION;

HYBRID COMPUTERS;

EID: 24344437768     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31954-2_34     Document Type: Conference Paper

References (12)

1. (http://www.columbus.gr/)
2. Lygeros, J., Tomlin, C., Sastry, S.: Controllers for reachability specifications for hybrid systems. In: Automatica, Special Issue on Hybrid Systems. (1999)
3. Balarin, F., Lavagno, L., Passerone, C., Sangiovanni-Vincentelli, A., Sgroi, M., Watanabe, Y.: Modeling and designing heterogeneous systems. Technical Report 2002/01, Cadence Berkeley Laboratories (2002)
4. Lee, E., Sangiovanni-Vincentelli, A.: A framework for comparing models of computation. IEEE Trans. Comput.-Aided Design Integrated Circuits 17 (1998) 1217-1229
5. Pnueli, A.: The temporal logic of programs. In: Proc. 18th Annual IEEE Symposium on Foundations of Computer Sciences. (1977) 46-57
6. Alur, R., Dang, T., Esposito, J., Hur, Y., Ivancic, F., Kumar, V., Lee, I., Mishra, P., Pappas, G.J., Sokolsky, O.: Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE (2002)
7. Fritzson, P.: Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. J. Wiley & Sons (2004)
8. Hylands, C., Lee, E.A., Liu, J., Liu, X., Neuendorffer, S., Zheng, H.: Hyvisual: A hybrid system visual modeler. Technical Report UCB/ERL M03/1, UC Berkeley (2003) available at http://ptolemy.eecs.berkeley.edu/hyvisual/.
9. Dabney, J.B., Harman, T.L.: Mastering Simulink. Prentice Hall (2003)
10. Nikoukhah, R., Steer, S.: SCICOS A dynamic system builder and simulator user's guide - version 1.0. Technical Report Technical Report 0207. INRIA, (Rocquen-court, France, June) (1997)
11. Torrisi, F.D., Bemporad, A., Bertini, G., Hertach, P., Jost, D., Mignone, D.: Hysdel 2.0.5 - user manual. Technical report, ETH Zurich (2002)
12. Silva, B.I., Richeson, K., Krogh, B., Chutinan, A.: Modeling and verifying hybrid dynamic systems using checkmate. In: ADPM. (2000)