Sound code generation from communicating hybrid models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2993, Issue , 2004, Pages 432-447

  Hur, Yerang ^a   Kim, Jesung ^a   Lee, Insup ^a   Choi, Jin Young ^b  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b Korea University   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENCY CONTROL; CONTINUOUS TIME SYSTEMS; DIGITAL COMPUTERS; ERRORS; HYBRID SYSTEMS; NETWORK COMPONENTS; TIME DOMAIN ANALYSIS;

APPROXIMATE ALGORITHMS; ASYNCHRONOUS SAMPLING; CONCURRENT PROGRAM; DISCRETE TRANSITIONS; DISCRETIZED MODELS; REAL - TIME SCHEDULING; TRADITIONAL APPROACHES; TRANSITION CONDITIONS;

CODES (SYMBOLS);

EID: 35048870696     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24743-2_29     Document Type: Article

References (14)

1. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126 (1994) 183-235
2. Esposito, J., Kumar, V., Pappas, G.: Accurate event detection for simulating hybrid systems. In: Proceedings of HSCC. LNCS 2034 (2001) 204-217
3. Park, T., Barton, P.: State event location in differential-algebraic models. ACM Transactions on Modeling and Computer Simulation 6 (1996) 137-165
4. Choi, J.Y., Hur, Y., Lee, I: IHA: Ensuring sound numerical simulation of hybrid automata. Technical Report MS-CIS-03-06, University of Pennsylvania (2003)
5. Choi, J.Y., Hur, Y., Kim, J., Lee, I.: Sound synchronization of communicating hybrid automata. Technical Report MS-CIS-03-30, University of Pennsylvania. (2003)
6. Henzinger, T., Horowitz, B., Kirsch, C.: Giotto: A time-triggered language for embedded programming. In: Proceedings of EMSOFT. (2001) 166-184
7. Kodase, S., Wang, S., Gu, Z., Shin, K.G.: Improving scalability of task allocation and scheduling in large distributed real-time systems using shared buffers. In: Proceedings of RTAS. (2003) 181-188
8. Wong-Toi, H.: The synthesis of discrete controllers for linear hybrid automata. In: Proceedings of CDC. (1997) 4607-4612
9. Altisen, K., Gößler, G., Pnueli, A., Sifakis, J., Yovine, Y.: A framework for scheduler synthesis. In: Proceedings of RTSS. (1999) 154-163
10. Altisen, K., Gößler, G., Sifakis, J.: A methodology for the construction of scheduled systems. In: Proceedings of FTRTFT. (2000) 106-120
11. Alur, R., Ivančić, F., Kim, J., Lee, I., Sokolsky, O.: Generating embedded software from hierarchial hybrid models. In: Proceedings of LCTES. (2003) 171-182
12. Alur, R., Dang, T., Esposito, J., Hur, Y., Ivančić, F., Kumar, V., Lee, I., Mishra, P., Pappas, G., Sokolsky, O.: Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE 91 (2003) 11-28
13. Kim, J., Lee, I.: Modular code generation from hybrid automata based on data dependency. In: Proceedings of RTAS. (2003) 160-168
14. Alur, R., Dang, T., Ivančić, F.: Reachability analysis of hybrid systems via predicate abstraction. In: Proceedings of HSCC. LNCS 2289 (2002) 35-48