Control generation for embedded systems based on composition of modal processes

[1]  Gaetano Borriello,et al.  Control composition and synthesis of distributed real-time embedded systems , 1998 .

[2]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[3]  Gaetano Borriello,et al.  Modal processes: towards enhanced retargetability through control composition of distributed embedded systems , 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).

[4]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[5]  Rodney A. Brooks,et al.  Asynchronous Distributed Control System For A Mobile Robot , 1987, Other Conferences.

[6]  Gaetano Borriello,et al.  An analysis-based approach to composition of distributed embedded systems , 1998, Proceedings of the Sixth International Workshop on Hardware/Software Codesign. (CODES/CASHE'98).

[7]  P. Pandurang Nayak,et al.  A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.