Masaccio: A formal model for embedded components

Henzinger TA. 2000. Masaccio: A formal model for embedded components. Proceedings of the 1st International Conference on Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics. TCS: Theoretical Computer Science, LNCS, vol. 1872, 549–563.

Download
No fulltext has been uploaded. References only!

Conference Paper | Published | English

Scopus indexed
Series Title
LNCS
Abstract
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).
Publishing Year
Date Published
2000-01-01
Proceedings Title
Proceedings of the 1st International Conference on Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics
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.
Volume
1872
Page
549 - 563
Conference
TCS: Theoretical Computer Science
Conference Location
Sendai, Japan
Conference Date
2000-08-17 – 2000-08-19
IST-REx-ID

Cite this

Henzinger TA. Masaccio: A formal model for embedded components. In: Proceedings of the 1st International Conference on Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics. 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. In Proceedings of the 1st International Conference on Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics (Vol. 1872, pp. 549–563). Sendai, Japan: Springer. https://doi.org/10.1007/3-540-44929-9_38
Henzinger, Thomas A. “Masaccio: A Formal Model for Embedded Components.” In Proceedings of the 1st International Conference on Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics, 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,” in Proceedings of the 1st International Conference on Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics, Sendai, Japan, 2000, vol. 1872, pp. 549–563.
Henzinger TA. 2000. Masaccio: A formal model for embedded components. Proceedings of the 1st International Conference on Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics. TCS: Theoretical Computer Science, LNCS, vol. 1872, 549–563.
Henzinger, Thomas A. “Masaccio: A Formal Model for Embedded Components.” Proceedings of the 1st International Conference on Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics, vol. 1872, Springer, 2000, pp. 549–63, doi:10.1007/3-540-44929-9_38.

Export

Marked Publications

Open Data ISTA Research Explorer

Search this title in

Google Scholar
ISBN Search