Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (difference equations) and atomic continuous components (differential equations) by parallel and serial composition, arbitrarily nested. Each system component consists of an interface, which determines the possible ways of using the component, and a set of executions, which define the possible behaviors of the component in real time. Version 1.0 (May 2000).
This research was supported in part by the DARPA grants NAG2-1214 and F33615-C-98-3614, and by the MARCO grant 98-DT-660.
549 - 563
TCS: Theoretical Computer Science
Henzinger TA. Masaccio: A formal model for embedded components. In: Vol 1872. Springer; 2000:549-563. doi:10.1007/3-540-44929-9_38
Henzinger, T. A. (2000). Masaccio: A formal model for embedded components (Vol. 1872, pp. 549–563). Presented at the TCS: Theoretical Computer Science, Springer. https://doi.org/10.1007/3-540-44929-9_38
Henzinger, Thomas A. “Masaccio: A Formal Model for Embedded Components,” 1872:549–63. Springer, 2000. https://doi.org/10.1007/3-540-44929-9_38.
T. A. Henzinger, “Masaccio: A formal model for embedded components,” presented at the TCS: Theoretical Computer Science, 2000, vol. 1872, pp. 549–563.
Henzinger TA. 2000. Masaccio: A formal model for embedded components. TCS: Theoretical Computer Science, LNCS, vol. 1872, 549–563.
Henzinger, Thomas A. Masaccio: A Formal Model for Embedded Components. Vol. 1872, Springer, 2000, pp. 549–63, doi:10.1007/3-540-44929-9_38.