R-Charon, a modeling language for reconfigurable hybrid systems

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

Volumn 3927 LNCS, Issue , 2006, Pages 392-406

  Kratz, Fabian ^a   Sokolsky, Oleg ^b   Pappas, George J ^b   Lee, Insup ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; INTELLIGENT AGENTS; LARGE SCALE SYSTEMS; ROBOTS; SEMANTICS;

ARCHITECTURAL RECONFIGURATION; HYBRID AUTOMATA; HYBRID SYSTEMS; R-CHARON;

HYBRID COMPUTERS;

EID: 33745789863     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11730637_30     Document Type: Conference Paper

References (19)

1. Fromherz, M.P.J., Crawford, L.S., Hindi, H.A.: Coordinated control for highly reconfigurable systems. In: HSCC '05: Proceedings of the 8th International Workshop on Hybrid Systems. Volume 3414 of LNCS. Springer-Verlag (2005) 1-24
2. Alur, R., Grosu, R., Hur, Y., Kumar, V., Lee, I.: Modular specification of hybrid systems in Charon. In: HSCC '00: Proceedings of the 3rd International Workshop on Hybrid Systems. Volume 1790 of LNCS., Springer-Verlag (2000) 6-19
3. Alur, R., Grosu, R., Lee, I., Sokolsky, O.: Compositional modeling and refinement for hierarchical hybrid systems. Journal of Logic and Algebraic Programming (To appear)
4. Cuijpers, P.J.L., Reniers, M.A.: Hybrid process algebra. Journal of Logic and Algebraic Programming 62(2) (2005) 191-245
5. Lynch, N.A., Segala, R., Vaandrager, F.W.: Hybrid I/O automata. Information and Computation 185(1) (2003) 105-157
6. Rounds, W.C., Song, H.: The φ-calculus: A language for distributed control of reconfigurable embedded systems. In: HSCC '03: Proceedings of the 6th International Workshop on Hybrid Systems. Volume 2623 of LNCS., Springer-Verlag (2003) 435-449
7. Varaiya, P.: Smart cars on smart roads: problems of control. IEEE Transactions on Automatic Control 38(2) (1993) 195-207
8. Zelinski, S., Koo, T.J., Sastry, S.: Hybrid system design for formations of autonomous vehicles. In: 42nd IEEE Conference on Decision and Control. Volume 1. (2003) 1-6
9. Perry, T.S.: In search of the future of air traffic control. IEEE Spectrum 34(8) (1997) 18-35
10. Bishop, J., Burden, S., Klavins, E., Kreisberg, R., Malone, W., Napp, N., Nguyen, T.: Self-organizing programmable parts. In: International Conference on Intelligent Robots and Systems. (2005)
11. Yim, M., Zhang, Z., Duff, D.: Modular robots. IEEE Spectrum 39(2) (2002) 30-34
12. Østergaard, E.H.: Distributed Control of the ATRON Self-Reconfigurable Robot. PhD thesis, Maersk McKinney Moller Institute for Production Technology, University of Southern Denmark (2004)
13. Deshpande, A., Göllü, A., Semenzato, L.: The SHIFT programming language and run-time system for dynamic networks of hybrid systems. IEEE Transactions on Automatic Control 43(4) (1998) 584-587
14. Milner, R.: Communicating and Mobile Systems: the π-calculus. Cambridge University Press (1999)
15. Aldini, A., Bernardo, M.: On the usability of process algebra: An architectural view. Theoretical Computer Science 335(2-3) (2005) 281-329
16. Attie, P.C., Lynch, N.A.: Dynamic input/output automata: a formal model for dynamic systems. In: CONCUR 2001: 12th International Conference on Concurrency Theory, Aaalborg, Denmark. Volume 2154 of LNCS., Springer-Verlag (2001) 137-151
17. Teich, J., Koster, M.: (Self-)reconfigurable finite state machines: Theory and implementation. In: Proceedings of the conference on Design, automation and test in Europe. (2002) 559-568
18. Kratz, F.: A modeling language for reconfigurable distributed hybrid systems. Master's thesis, Technische Universiteit Eindhoven (2005)
19. Antoniotti, M., Göllü, A.: SHIFT and SmartAHS: A language for hybrid systems engineering, modeling, and simulation. In: Proceedings of the USENIX Conference of Domain Specific Languages. (1997)