--- _id: '4512' abstract: - lang: eng text: "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.\r\nVersion 1.0 (May 2000).\r\n" acknowledgement: 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. alternative_title: - LNCS article_processing_charge: No author: - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 citation: ama: 'Henzinger TA. Masaccio: A formal model for embedded components. In: Proceedings of the 1st International Conference on Theoretical Computer Science . Vol 1872. Springer; 2000:549-563. doi:10.1007/3-540-44929-9_38' apa: 'Henzinger, T. A. (2000). Masaccio: A formal model for embedded components. In Proceedings of the 1st International Conference on Theoretical Computer Science (Vol. 1872, pp. 549–563). Sendai, Japan: Springer. https://doi.org/10.1007/3-540-44929-9_38' chicago: 'Henzinger, Thomas A. “Masaccio: A Formal Model for Embedded Components.” In Proceedings of the 1st International Conference on Theoretical Computer Science , 1872:549–63. Springer, 2000. https://doi.org/10.1007/3-540-44929-9_38.' ieee: 'T. A. Henzinger, “Masaccio: A formal model for embedded components,” in Proceedings of the 1st International Conference on Theoretical Computer Science , Sendai, Japan, 2000, vol. 1872, pp. 549–563.' ista: 'Henzinger TA. 2000. Masaccio: A formal model for embedded components. Proceedings of the 1st International Conference on Theoretical Computer Science . TCS: Theoretical Computer Science, LNCS, vol. 1872, 549–563.' mla: 'Henzinger, Thomas A. “Masaccio: A Formal Model for Embedded Components.” Proceedings of the 1st International Conference on Theoretical Computer Science , vol. 1872, Springer, 2000, pp. 549–63, doi:10.1007/3-540-44929-9_38.' short: T.A. Henzinger, in:, Proceedings of the 1st International Conference on Theoretical Computer Science , Springer, 2000, pp. 549–563. conference: end_date: 2000-08-19 location: Sendai, Japan name: 'TCS: Theoretical Computer Science' start_date: 2000-08-17 date_created: 2018-12-11T12:09:14Z date_published: 2000-01-01T00:00:00Z date_updated: 2023-04-13T13:48:08Z day: '01' doi: 10.1007/3-540-44929-9_38 extern: '1' intvolume: ' 1872' language: - iso: eng month: '01' oa_version: None page: 549 - 563 publication: 'Proceedings of the 1st International Conference on Theoretical Computer Science ' publication_identifier: isbn: - '9783540678236' publication_status: published publisher: Springer publist_id: '215' quality_controlled: '1' scopus_import: '1' status: public title: 'Masaccio: A formal model for embedded components' type: conference user_id: ea97e931-d5af-11eb-85d4-e6957dddbf17 volume: 1872 year: '2000' ...