---
_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: <i>Proceedings
    of the 1st International Conference on Theoretical Computer Science </i>. Vol
    1872. Springer; 2000:549-563. doi:<a href="https://doi.org/10.1007/3-540-44929-9_38">10.1007/3-540-44929-9_38</a>'
  apa: 'Henzinger, T. A. (2000). Masaccio: A formal model for embedded components.
    In <i>Proceedings of the 1st International Conference on Theoretical Computer
    Science </i> (Vol. 1872, pp. 549–563). Sendai, Japan: Springer. <a href="https://doi.org/10.1007/3-540-44929-9_38">https://doi.org/10.1007/3-540-44929-9_38</a>'
  chicago: 'Henzinger, Thomas A. “Masaccio: A Formal Model for Embedded Components.”
    In <i>Proceedings of the 1st International Conference on Theoretical Computer
    Science </i>, 1872:549–63. Springer, 2000. <a href="https://doi.org/10.1007/3-540-44929-9_38">https://doi.org/10.1007/3-540-44929-9_38</a>.'
  ieee: 'T. A. Henzinger, “Masaccio: A formal model for embedded components,” in <i>Proceedings
    of the 1st International Conference on Theoretical Computer Science </i>, 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.” <i>Proceedings
    of the 1st International Conference on Theoretical Computer Science </i>, vol.
    1872, Springer, 2000, pp. 549–63, doi:<a href="https://doi.org/10.1007/3-540-44929-9_38">10.1007/3-540-44929-9_38</a>.'
  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'
...