---
_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'
...