Thomas A. Henzinger  Home/Search
Context Related
Links: DBLP | berkeley.edu/~tah/Publica...masaccio.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: berkeley.edu/~tah/Publ...masaccio (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. (Update)
Cited by: More
Some Lessons from the HyTech Experience - Henzinger, Preußig, Wong-Toi (2001) (Correct)
Embedded Control Systems Development with Giotto + - Thomas Henzinger Benjamin (2001) (Correct)
From Control Models to Real-Time Code - Using Giotto Thomas (Correct)
Active bibliography (related documents): More All
0.3: Compositional Refinement for Hierarchical Hybrid Systems - Alur, Grosu, Lee, Sokolsky (2001) (Correct)
0.1: Hierarchical Hybrid Modeling of Embedded Systems - Alur, Dang, Esposito.. (2001) (Correct)
0.1: Hierarchical Modeling and Analysis of Embedded Systems - Alur, Dang, Esposito.. (2003) (Correct)
Similar documents based on text: More All
0.6: Assume-Guarantee Reasoning - For Hierarchical Hybrid (Correct)
0.2: A Classification of Symbolic Transition Systems - Henzinger, Majumdar, Raskin (2003) (Correct)
0.2: Finitary Fairness - Rajeev Alur University (1994) (Correct)
Related documents from co-citation: More All
10: MetaH Support for Real-Time Multi-Processor Avionics (context) - Vestal - 1997
10: Synchronous Programming of Reactive Systems (context) - Halbwachs - 1993
10: Synchronous programming with events and relations: the Signal language and its s.. (context) - Benveniste, Le Guernic et al. - 1991
BibTeX entry: (Update)
T.A. Henzinger. Masaccio: a formal model for embedded components. In TCS 00: Theoretical Computer Science, LNCS 1872, pages 549--563. Springer, 2000. http://citeseer.ist.psu.edu/henzinger00masaccio.html More
@inproceedings{ henzinger00masaccio,
author = "Thomas A. Henzinger",
title = "Masaccio: A Formal Model for Embedded Components",
booktitle = "{IFIP} {TCS}",
pages = "549-563",
year = "2000",
url = "citeseer.ist.psu.edu/henzinger00masaccio.html" }
Citations (may not include all citations):1174 Statecharts: a visual formalism for complex systems - Harel - 1987
681 The Unified Modeling Language User Guide (context) - Booch, Rumbaugh et al. - 1999 ACM DBLP
399 The algorithmic analysis of hybrid systems - Alur, Courcoubetis et al. - 1995 ACM DBLP
139 From timed to hybrid systems - Maler, Manna et al. - 1992 ACM DBLP
92 Synchronous programming with events and relations: the Signa.. (context) - Benveniste, le Guernic et al. - 1991 DBLP
67 Modularity for timed and hybrid systems - Alur, Henzinger - 1997 ACM DBLP
45 Formal Methods in System Design (context) - Alur, Henzinger - 1999
34 The synchronous programming language Esterel: design (context) - Berry, Gonthier - 1988
9 Real-time system = discrete system + clock variables (context) - Alur, Henzinger - 1997 ACM DBLP
8 Shift: a formalism and a programming language for dynamic ne.. - Deshpande, Gollu et al. - 1996 DBLP
6 Technical Report UCBERL M (context) - Goel, Lee et al. - 1999
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC